val print = "print_endline" : string -> unit val main : unit -> unit function main() = { match () { _ => { TEST = () } }; print("ok") }