cast usec to make gcc happy