1/1: Building CharEncoding (CharEncoding.idr)
Main> []
Main> Bye for now!