idris-0.12.3: test/basic011/expected
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