val _ = case 42 of x => __builtin "exit" x