switched to using a 32-bit timer