val sort_tbl: unit -> string
val rel_tbl: unit -> string
val obj_tbl: unit -> string
-val owners_tbl: unit -> string
+(* val owners_tbl: unit -> string *)
val conclno_tbl: unit -> string
val conclno_hyp_tbl: unit -> string
val name_tbl: unit -> string