1 2 3 4 5 6 7 8 9
(* TEST modules = "a.ml b.ml" *) (* PR#7702 *) let () = B.bug (Some ""); print_endline "OK."