: bounds \ addr len -- addr+len addr over + swap ;