import mem main() { a := mem.alloc(4) for i := 0..4 { a[i] = i * 2 assert a[i] == i * 2 } }