//! returns: 0
//! Public attribute on standalone methods.

record Foo {
    x: i32,
}

export fn (f: &Foo) getX() -> i32 {
    return f.x;
}

@default fn main() -> i32 {
    let f = Foo { x: 42 };
    assert f.getX() == 42;
    return 0;
}