datatype D = D of int

fun f (D x) = __builtin "exit" x

val _ = f (D 42)