1/1: Building Memo (Memo.idr)
Main> 100000000000000000000
Main> Bye for now!