Fixed 32-bit Timer definitions