pub fn main(world: World) -> Void raises {
    var flags: [5]Bool = [false; 5]
    flags[1] = true
    flags[3] = true
    if !flags[0] && flags[1] && (flags[3] && !flags[4]) {
        check world.out.write("bool arrays ok\n")
    }
}