Symbol: get_pointer_table