INFBOUND
INFBOUND(srt, 0);
INFBOUND(write_errors[current_drive].badness, err_count);
INFBOUND(drive_state[current_drive].maxblock, block);
INFBOUND(nr_sectors, 0);
INFBOUND(buffer_max, nr_sectors + fsector_t);
INFBOUND(try, 16);