idris-1.3.3: test/interactive014/expected.out

aa
bb
123
cc
"dd"
456
"xyz"