idris-1.1.0: test/interactive014/input

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