expected

directives002.idr:12:3:
directives002.Main.main is possibly not total due to: directives002.loop