Symbol: die_get_pointer_type