1/1: Building OS (OS.idr)
Main> True
Main> Bye for now!
Error: INTERNAL ERROR: prim not implemented: prim__os
