idris-0.9.13: test/records002/expected

42, 20
10, 42