1int ops[13] =
2{
3  11, 12, 46, 3, 2, 2, 3, 2, 1, 3, 2, 1, 2
4};
5
6int correct[13] =
7{
8  46, 12, 11, 3, 3, 3, 2, 2, 2, 2, 2, 1, 1
9};
10
11int num = 13;
12
13int main()
14{
15  int i;
16
17  for (i = 0; i < num; i++)
18    {
19      int j;
20
21      for (j = num - 1; j > i; j--)
22        {
23          if (ops[j-1] < ops[j])
24            {
25              int op = ops[j];
26              ops[j] = ops[j-1];
27              ops[j-1] = op;
28            }
29        }
30    }
31
32
33  for (i = 0; i < num; i++)
34    if (ops[i] != correct[i])
35      abort ();
36
37  exit (0);
38}
39
40