/* This file auto-generated with ./vperm.pl 2 2.  */

void check0(void)
{
  TEST (0, 0)
  TEST (1, 0)
  TEST (2, 0)
  TEST (3, 0)
  TEST (0, 1)
  TEST (1, 1)
  TEST (2, 1)
  TEST (3, 1)
  TEST (0, 2)
  TEST (1, 2)
  TEST (2, 2)
  TEST (3, 2)
  TEST (0, 3)
  TEST (1, 3)
  TEST (2, 3)
  TEST (3, 3)
}

void check(void)
{
  check0 ();
}