Symbol: append_qualified_pointer