struct G {
    Foo(t: bool): bool {
        return t;
    }
}

struct Program {
    static main(): int {
        g: G = alloc G;
        g.Foo(true);
        return 0;
    }
}