# check loading constants


@micropython.viper
def f():
    return 123456789012345678901234567890


print(f())