Symbol: ctf_add_pointer