from "./bar" import main as bar;
from "./baz" import BAZ as baz;
import "./foo" as f;

def main() -> field {
    field foo = f();
    assert(foo == bar() + baz);
    return foo;
}