pub fn main(world: World) -> Void raises {
    let bytes: [3]u8 = [4, 5, 6]
    let text: String = "zero"
    let first: Maybe<u8> = std.mem.get(bytes, 1)
    let missing: Maybe<u8> = std.mem.get(bytes, 9)
    let letter: Maybe<u8> = std.mem.get(text, 0)
    if first.has && first.value == 5_u8 && !missing.has && letter.has && letter.value == 122 as u8 {
        check world.out.write("checked bounds get ok\n")
    }
}