def main() -> u32:
    u32[3][2] foo = [[1,2], [3,4], [5,6,7]]
    return foo[0][0]