1fn assert(ok: bool) void {
 2    if (!ok) unreachable;
 3}
 4
 5pub fn main() void {
 6    var sum: u32 = 0;
 7    var i: u32 = 0;
 8    while (i < 5) : (i += 1) {
 9        sum += i;
10    }
11    assert(sum == 10);
12    assert(i == 5);
13}
14
15// run
16// backend=selfhosted,llvm
17// target=x86_64-linux,x86_64-macos
18//