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