(* TEST
  modules = "a.ml b.ml"
*)

(* PR#7702 *)

let () =
  B.bug (Some "");
  print_endline "OK."