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