#include "testharness.h"

static unsigned char a[00170000  >> 12 ] = {
	[0100000  >> 12 ]	1 ,
	[0040000  >> 12 ]	2 ,
	[0020000  >> 12 ]	3 ,
	[0060000  >> 12 ]	4 ,
	[0010000  >> 12 ]	5 ,
	[0140000  >> 12 ]	6 ,
	[0120000  >> 12 ]	7 ,
};


int main() {
  if(a[8] != 1) E(1);
  if(a[4] != 2) E(2);
  if(a[2] != 3) E(3);
  if(a[6] != 4) E(4);
  if(a[1] != 5) E(5);
  if(a[12] != 6) E(6);
  if(a[10] != 7) E(7);

  if(a[3] != 0) E(8);
  if(a[0] != 0) E(9);
  if(a[5] != 0) E(10);
  if(a[7] != 0) E(11);
  if(a[9] != 0) E(12);
  if(a[11] != 0) E(13);
  if(a[13] != 0) E(14);
  if(a[14] != 0) E(15);
  if(a[15] != 0) E(16);
  
  SUCCESS;
}