1/1: Building Check (Check.idr)
Main> natToFinLt optimized away
Main> Bye for now!
