import Base

def triple(+x: U32) -> U32:
  (x * 3 : U32)