void->int filter Generate{
  work push 1{
    // 0000 0101 0011 1001 0111 0111 0000 0000
	push(0x05397700);
  }
}

int->void filter Read{
  work pop 1{    
	 printB( pop() );
  } 
}



bit->bit sbox test{
  int[8] X = {0xF, 0xE, 0x1, 0x3, 0x6, 0xA, 0xB, 0xC};
  int input_RATE=3;
  int output_RATE=4;
}


void->void pipeline TestSbox{
  add Generate;
  add test;
  add Read();

}