def foo() -> field {
    return 1;
}

def main() -> field {
    return foo(42);
}