main() { x := 0 for 0..5 { x += 1 } assert x == 5 for i := 0..5 { assert i >= 0 assert i < 5 } }