# check loading constants

@micropython.viper
def f():
    return 123456789012345678901234567890

print(f())