fn array_len<static N: usize>() -> usize {
    let bytes: [N]u8 = [1_u8; N]
    return std.mem.len(bytes)
}

pub fn main(world: World) -> Void raises {
    if array_len<4>() == 4 {
        check world.out.write("generic static array specialization ok\n")
    } else {
        check world.out.write("generic static array specialization broke\n")
    }
}