1/1: Building StringCast (StringCast.idr)
Main> 0
0
0
0
0
0
0
0
0
0
0
0
Main> Bye for now!
