make worktime a COUNTER type