FIX: Reversing times > 65535ms can now be specified in simuconf.tab (but these will be rounded down to 65535ms until the major version is incremented to 11).