main() { loop i := 0..10 { assert i >= 0 assert i < 10 } }