for l being Int_position holds Values l = INT