import Base

def square(+x: U32) -> U32:
  (x * x : U32)

def main() -> U32:
  square(7)