int get_buffersize();
void put_item(int);
void get_item(int *);