val _ =
  case 18 of
    17 => __builtin "exit" 41
  | 18 => __builtin "exit" 42
  | _ => __builtin "exit" 43