TIME
| dev_info NUMBER TIME ',' SIZE
| attr_dev_info NUMBER TIME ',' SIZE
| timing WAIT TIME
| timing READY TIME
| timing RESERVED TIME
%token TIME TIMING WAIT READY RESERVED
%type <num> NUMBER SIZE VOLTAGE CURRENT TIME
while (real_time_clock() - tn <= TIME) {
tnum + 1, num, TIME, num / TIME);
while (real_time_clock() - tn <= TIME) {
tnum + 1, num, TIME, num / TIME);