void rec_init() {
}

void iou_read() {
    bufS = 0;
}