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