Symbol: ctf_add_integer