1/* This file auto-generated with ./vperm.pl 2 2.  */
2
3void check0(void)
4{
5  TEST (0, 0)
6  TEST (1, 0)
7  TEST (2, 0)
8  TEST (3, 0)
9  TEST (0, 1)
10  TEST (1, 1)
11  TEST (2, 1)
12  TEST (3, 1)
13  TEST (0, 2)
14  TEST (1, 2)
15  TEST (2, 2)
16  TEST (3, 2)
17  TEST (0, 3)
18  TEST (1, 3)
19  TEST (2, 3)
20  TEST (3, 3)
21}
22
23void check(void)
24{
25  check0 ();
26}
27
28