idris-1.3.3: test/primitives003/expected.out
True False True False True False True True True True True False True False False True False True True False True False False True False False False True False True False
True False True False True False True True True True True False True False False True False True True False True False False True False False False True False True False