idris-1.3.3: test/records001/expected.out

"foo"
"Fred"
[1, 2, 3]
["b", "a"]
25