fun funny() : void = ^a[b].c^ as { a: {}, b: (:{a: ( g : int)}:bool)}, sizeof { a: {}, b: (:{a: ( g : int)}:bool)}


typ t = (::t)