Symbol: evaluate_ptr_add