Two problems found:

1. OS_Milli2Ticks() returns type 'int32' from variable declared as 'uint32'.
2. There are no limit checks on input value. The calculation may generate overflow on the resulting output type.

Identified with #45 white-box coverage testing.