record Foo { a : Int8; b : UInt32; c : Pointer[Int]; d : Pointer[Int8]; } overload PermissiveRecordConstructor?(static Foo) = true; main() { var f = Foo(1, 2, 0, "hello"); println(f); }