CHECK: sorting integers
CHECK-NEXT:  79 78 62 78 94 40 86 57 40 16 28 54 77 87 93 98
CHECK-NEXT:  16 28 40 40 54 57 62 77 78 78 79 86 87 93 94 98
     CHECK: sorting integers (descending)
CHECK-NEXT:  79 78 62 78 94 40 86 57 40 16 28 54 77 87 93 98
CHECK-NEXT:  98 94 93 87 86 79 78 78 77 62 57 54 40 40 28 16
     CHECK: sorting integers (user-defined comparison)
CHECK-NEXT:  79 78 62 78 94 40 86 57 40 16 28 54 77 87 93 98
CHECK-NEXT:  16 28 40 40 54 62 78 78 86 94 98 57 77 79 87 93
     CHECK: sorting floats
CHECK-NEXT:  7.5 7.5 6.0 7.5 9.0 4.0 8.5 5.5 4.0 1.5 2.5 5.0 7.5 8.5 9.0 9.5
CHECK-NEXT:  1.5 2.5 4.0 4.0 5.0 5.5 6.0 7.5 7.5 7.5 7.5 8.5 8.5 9.0 9.0 9.5
     CHECK: sorting pairs
CHECK-NEXT:  (7,7) (5,7) (9,3) (8,5) (3,0) (2,4) (7,8) (9,9) (7,1) (1,9) (0,5) (3,6) (8,0) (7,6) (4,2) (8,3)
CHECK-NEXT:  (0,5) (1,9) (2,4) (3,0) (3,6) (4,2) (5,7) (7,1) (7,6) (7,7) (7,8) (8,0) (8,3) (8,5) (9,3) (9,9)
     CHECK: key-value sorting
CHECK-NEXT:  (79, 0) (78, 1) (62, 2) (78, 3) (94, 4) (40, 5) (86, 6) (57, 7) (40, 8) (16, 9) (28,10) (54,11) (77,12) (87,13) (93,14) (98,15)
CHECK-NEXT:  (16, 9) (28,10) (40, 5) (40, 8) (54,11) (57, 7) (62, 2) (77,12) (78, 1) (78, 3) (79, 0) (86, 6) (87,13) (93,14) (94, 4) (98,15)
     CHECK: key-value sorting (descending)
CHECK-NEXT:  (79, 0) (78, 1) (62, 2) (78, 3) (94, 4) (40, 5) (86, 6) (57, 7) (40, 8) (16, 9) (28,10) (54,11) (77,12) (87,13) (93,14) (98,15)
CHECK-NEXT:  (98,15) (94, 4) (93,14) (87,13) (86, 6) (79, 0) (78, 1) (78, 3) (77,12) (62, 2) (57, 7) (54,11) (40, 5) (40, 8) (28,10) (16, 9)