datatype D = A | B of int

val _ =
  case B 42 of
    B x => __builtin "exit" x
  | _ => __builtin "exit" 0