def main() -> u32:
    u32[3] a = [1, 2, 3]
    a[3] = 4
    return a[0]