for l being Int-Location holds Values l = INT