(* TEST *) (* PR#6373 *) let () = print_string "??'"