idris-1.3.3: test/interactive014/input.in

:exec voidIO
:exec intIO
:exec stringIO
:exec 456
:exec "xyz"