idris-1.3.3: test/interpret002/input.in

:x echo "not a file"
:x echo "readable.txt"