Aritmetic semantic for pointers disabled