Symbol: process_pointer