#include "iolib.h"

void main(void)
{
  int data;

  init_21k();
  init_1847(SAMPLE48000, 0);

  for(;;) {
    data = read_input_int() & 0xfffff000;
    write_output_int(data);
  }
}