main :: () -> void { print_u64; }; fun :: ()->u64 { return 23; }