\ / This software is distributed as is, NO WARRANTY.
V_______________________________________________________________ *)
+IFDEF MANAGER THEN
+
val open_out_lp1: string -> Brg.manager
val open_out_lp2: string -> Brg.manager
val open_out_tj2: string -> Brg.manager
val open_out_tj3: string -> Brg.manager
+
+END