preliminary support for find_symbol_offset