sig
val gen_offset_tables :
Flx_mtypes2.sym_state_t ->
(Flx_ast.bid_t, Flx_ast.bid_t list) Hashtbl.t *
Flx_types.fully_bound_symbol_table_t -> string
val find_thread_vars_with_type :
Flx_types.fully_bound_symbol_table_t ->
(Flx_ast.bid_t * Flx_types.btypecode_t) list
val find_references :
Flx_mtypes2.sym_state_t ->
(Flx_ast.bid_t, Flx_ast.bid_t list) Hashtbl.t *
Flx_types.fully_bound_symbol_table_t ->
Flx_ast.bid_t ->
Flx_types.btypecode_t list ->
(Flx_ast.bid_t * Flx_types.btypecode_t) list
end