// BZ 12511

#include "tst-unique4.h"

#include <cstdio>

static int a[24] =

  {

    S<1>::i, S<2>::i, S<3>::i, S<4>::i, S<5>::i, S<6>::i, S<7>::i, S<8>::i,

    S<9>::i, S<10>::i, S<11>::i, S<12>::i, S<13>::i, S<14>::i, S<15>::i,

    S<16>::i, S<17>::i, S<18>::i, S<19>::i, S<20>::i, S<21>::i, S<22>::i,

    S<23>::i, S<24>::i

  };

int

main (void)

{

  int result = 0;

  for (int i = 0; i < 24; ++i)

    {

      printf("%d ", a[i]);

      result |= a[i] != i + 1;

    }

  printf("\n%d\n", S<1>::j);

  result |= S<1>::j != -1;

  return result;

}