import Base

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

def greet(name: String) -> String:
  "hi " ++ name