JavaFrontend.JSourceLocations
val collect_class_location : JProgramDesc.t -> IBase.SourceFile.t -> unit
val debug_on_file : string -> unit