def main : IO UInt32 := pure 0