Symbol: CTF_K_POINTER