idris-0.10.1: test/primitives005/expected

04030201
000000000000FFFF