idris-1.3.3: test/basic011/expected.out
6EA049D797FA18D6 6EA049D797FA18D6 FDA01C93B78A192F AD85270E93646134 6EA049D797FA18D6 6EA049D797FA18D6 6EA049D797FA18D6 6EA049D797FA18D6 6EA049D797FA18D6 6EA049D797FA18D6 00 0000 00000000 0000000000000000
6EA049D797FA18D6 6EA049D797FA18D6 FDA01C93B78A192F AD85270E93646134 6EA049D797FA18D6 6EA049D797FA18D6 6EA049D797FA18D6 6EA049D797FA18D6 6EA049D797FA18D6 6EA049D797FA18D6 00 0000 00000000 0000000000000000