/* ===================================================================== Source: datetime.rule ===================================================================== */ op_datetime_qual_i: { $$=22; } | KW_COMMA dtime_start KW_TO dtime_end { $$=($2*16) +$4; } ;