christos abe8ec29d9 Handle string concatenation in terms:
'{ print "foo" > "file" ".txt"; }',
2011-05-28 15:13:04 +00:00
..