1/1: Building Main (Main.idr)
Now compiling the executable: test
