
test_tdef_get()
T1=100s
osmo_tdef_get(1, s)	= 100
osmo_tdef_get(1, ms)	= 100000
osmo_tdef_get(1, m)	= 2
osmo_tdef_get(1, custom-unit)	= 100
T2=100ms
osmo_tdef_get(2, s)	= 1
osmo_tdef_get(2, ms)	= 100
osmo_tdef_get(2, m)	= 1
osmo_tdef_get(2, custom-unit)	= 100
T3=100m
osmo_tdef_get(3, s)	= 6000
osmo_tdef_get(3, ms)	= 6000000
osmo_tdef_get(3, m)	= 100
osmo_tdef_get(3, custom-unit)	= 100
T4=100custom-unit
osmo_tdef_get(4, s)	= 100
osmo_tdef_get(4, ms)	= 100
osmo_tdef_get(4, m)	= 100
osmo_tdef_get(4, custom-unit)	= 100
T7=50s
osmo_tdef_get(7, s)	= 50
osmo_tdef_get(7, ms)	= 50000
osmo_tdef_get(7, m)	= 1
osmo_tdef_get(7, custom-unit)	= 50
T8=300s
osmo_tdef_get(8, s)	= 300
osmo_tdef_get(8, ms)	= 300000
osmo_tdef_get(8, m)	= 5
osmo_tdef_get(8, custom-unit)	= 300
T9=5m
osmo_tdef_get(9, s)	= 300
osmo_tdef_get(9, ms)	= 300000
osmo_tdef_get(9, m)	= 5
osmo_tdef_get(9, custom-unit)	= 5
T10=20m
osmo_tdef_get(10, s)	= 1200
osmo_tdef_get(10, ms)	= 1200000
osmo_tdef_get(10, m)	= 20
osmo_tdef_get(10, custom-unit)	= 20
T1000=2000ms
osmo_tdef_get(1000, s)	= 2
osmo_tdef_get(1000, ms)	= 2000
osmo_tdef_get(1000, m)	= 1
osmo_tdef_get(1000, custom-unit)	= 2000
T1001=60000ms
osmo_tdef_get(1001, s)	= 60
osmo_tdef_get(1001, ms)	= 60000
osmo_tdef_get(1001, m)	= 1
osmo_tdef_get(1001, custom-unit)	= 60000
T1004=1ms
osmo_tdef_get(1004, s)	= 1
osmo_tdef_get(1004, ms)	= 1
osmo_tdef_get(1004, m)	= 1
osmo_tdef_get(1004, custom-unit)	= 1
T1005=0ms
osmo_tdef_get(1005, s)	= 0
osmo_tdef_get(1005, ms)	= 0
osmo_tdef_get(1005, m)	= 0
osmo_tdef_get(1005, custom-unit)	= 0
T1006=0s
osmo_tdef_get(1006, s)	= 0
osmo_tdef_get(1006, ms)	= 0
osmo_tdef_get(1006, m)	= 0
osmo_tdef_get(1006, custom-unit)	= 0
T1007=0m
osmo_tdef_get(1007, s)	= 0
osmo_tdef_get(1007, ms)	= 0
osmo_tdef_get(1007, m)	= 0
osmo_tdef_get(1007, custom-unit)	= 0
T1008=0custom-unit
osmo_tdef_get(1008, s)	= 0
osmo_tdef_get(1008, ms)	= 0
osmo_tdef_get(1008, m)	= 0
osmo_tdef_get(1008, custom-unit)	= 0
T0=1custom-unit
osmo_tdef_get(0, s)	= 1
osmo_tdef_get(0, ms)	= 1
osmo_tdef_get(0, m)	= 1
osmo_tdef_get(0, custom-unit)	= 1
T123=1s
osmo_tdef_get(123, s)	= 1
osmo_tdef_get(123, ms)	= 1000
osmo_tdef_get(123, m)	= 1
osmo_tdef_get(123, custom-unit)	= 1
T1002=NULLosmo_tdef_get(1002, s)	= 0
osmo_tdef_get(1002, ms)	= 0
osmo_tdef_get(1002, m)	= 0
osmo_tdef_get(1002, custom-unit)	= 0
T1003=NULLosmo_tdef_get(1003, s)	= 0
osmo_tdef_get(1003, ms)	= 0
osmo_tdef_get(1003, m)	= 0
osmo_tdef_get(1003, custom-unit)	= 0
T2147483647=NULLosmo_tdef_get(2147483647, s)	= 0
osmo_tdef_get(2147483647, ms)	= 0
osmo_tdef_get(2147483647, m)	= 0
osmo_tdef_get(2147483647, custom-unit)	= 0
T2147483646=NULLosmo_tdef_get(2147483646, s)	= 0
osmo_tdef_get(2147483646, ms)	= 0
osmo_tdef_get(2147483646, m)	= 0
osmo_tdef_get(2147483646, custom-unit)	= 0
T2147483645=NULLosmo_tdef_get(2147483645, s)	= 0
osmo_tdef_get(2147483645, ms)	= 0
osmo_tdef_get(2147483645, m)	= 0
osmo_tdef_get(2147483645, custom-unit)	= 0
T2147483644=NULLosmo_tdef_get(2147483644, s)	= 0
osmo_tdef_get(2147483644, ms)	= 0
osmo_tdef_get(2147483644, m)	= 0
osmo_tdef_get(2147483644, custom-unit)	= 0
T-2147483648=NULLosmo_tdef_get(-2147483648, s)	= 0
osmo_tdef_get(-2147483648, ms)	= 0
osmo_tdef_get(-2147483648, m)	= 0
osmo_tdef_get(-2147483648, custom-unit)	= 0

test_tdef_get_nonexisting()
osmo_tdef_get(tdefs, 5, s, 999)	= 999
osmo_tdef_get(tdefs, 5, ms, 999)	= 999
osmo_tdef_get(tdefs, 5, m, 999)	= 999
osmo_tdef_get(tdefs, 5, custom-unit, 999)	= 999

test_tdef_set_and_get()
setting 7 = 42
T7=42s(def=50)
osmo_tdef_get(7, ms)	= 42000
osmo_tdef_get(7, s)	= 42
osmo_tdef_get(7, m)	= 1
osmo_tdef_get(7, custom-unit)	= 42
setting 7 = 420
T7=420s(def=50)
osmo_tdef_get(7, ms)	= 420000
osmo_tdef_get(7, s)	= 420
osmo_tdef_get(7, m)	= 7
osmo_tdef_get(7, custom-unit)	= 420
resetting
T7=50s
osmo_tdef_get(7, s)	= 50

test_tdef_state_timeout()
state=A T=0, no timeout
 --> A (configured as T1 100 s) rc=0;	state=A T=1, 100.000000 s remaining
 --> B (configured as T2 100 ms) rc=0;	state=B T=2, 1.000000 s remaining
 --> C (configured as T3 100 m) rc=0;	state=C T=3, 6000.000000 s remaining
 --> D (configured as T4 100 custom-unit) rc=0;	state=D T=4, 100.000000 s remaining
 --> G (configured as T7 50 s) rc=0;	state=G T=7, 50.000000 s remaining
 --> H (configured as T8 300 s) rc=0;	state=H T=8, 300.000000 s remaining
 --> I (configured as T9 5 m) rc=0;	state=I T=9, 300.000000 s remaining
 --> J (configured as T10 20 m) rc=0;	state=J T=10, 1200.000000 s remaining
- test keep_timer:
Time passes: 123.045678 s
state=J T=10, 1076.954322 s remaining
 --> K (configured as T0(keep_timer) 1 custom-unit) rc=0;	state=K T=10, 1076.954322 s remaining
 --> A (configured as T1 100 s) rc=0;	state=A T=1, 100.000000 s remaining
Time passes: 23.045678 s
state=A T=1, 76.954322 s remaining
 --> K (configured as T0(keep_timer) 1 custom-unit) rc=0;	state=K T=1, 76.954322 s remaining
 --> A (configured as T1 100 s) rc=0;	state=A T=1, 100.000000 s remaining
Time passes: 23.045678 s
state=A T=1, 76.954322 s remaining
 --> L (configured as T123(keep_timer) 1 s) rc=0;	state=L T=123, 76.954322 s remaining
 --> O (no timer configured for this state) rc=0;	state=O T=0, no timeout
 --> L (configured as T123(keep_timer) 1 s) rc=0;	state=L T=123, no timeout
- test T=0:
 --> O (no timer configured for this state) rc=0;	state=O T=0, no timeout
- test no timer:
 --> X (no timer configured for this state) rc=0;	state=X T=0, no timeout
- test undefined timer, using default_val arg of osmo_tdef_fsm_inst_state_chg(), here passed as 999:
 --> Y (configured as T666 0 -) rc=0;	state=Y T=666, 999.000000 s remaining
- test large T:
 --> M (configured as T2147483647 0 s) rc=0;	state=M T=2147483647, no timeout
- test T<0:
 --> N (configured as T-2147483648 0 s) rc=0;	state=N T=-2147483648, no timeout
- test range:
 --> M (configured as T2147483647 0 s) rc=0;	state=M T=2147483647, no timeout
 --> M (configured as T2147483647 0 s) rc=0;	state=M T=2147483647, no timeout
 --> M (configured as T2147483647 1 s) rc=0;	state=M T=2147483647, 1.000000 s remaining
 --> M (configured as T2147483647 2 s) rc=0;	state=M T=2147483647, 2.000000 s remaining
 --> M (configured as T2147483647 2 s) rc=0;	state=M T=2147483647, 2.000000 s remaining
 --> M (configured as T2147483647 3 s) rc=0;	state=M T=2147483647, 3.000000 s remaining
 --> M (configured as T2147483647 4 s) rc=0;	state=M T=2147483647, 4.000000 s remaining
 --> M (configured as T2147483647 6 s) rc=0;	state=M T=2147483647, 6.000000 s remaining
 --> M (configured as T2147483647 7 s) rc=0;	state=M T=2147483647, 7.000000 s remaining
 --> M (configured as T2147483647 8 s) rc=0;	state=M T=2147483647, 8.000000 s remaining
 --> M (configured as T2147483647 14 s) rc=0;	state=M T=2147483647, 14.000000 s remaining
 --> M (configured as T2147483647 15 s) rc=0;	state=M T=2147483647, 15.000000 s remaining
 --> M (configured as T2147483647 16 s) rc=0;	state=M T=2147483647, 16.000000 s remaining
 --> M (configured as T2147483647 30 s) rc=0;	state=M T=2147483647, 30.000000 s remaining
 --> M (configured as T2147483647 31 s) rc=0;	state=M T=2147483647, 31.000000 s remaining
 --> M (configured as T2147483647 32 s) rc=0;	state=M T=2147483647, 32.000000 s remaining
 --> M (configured as T2147483647 62 s) rc=0;	state=M T=2147483647, 62.000000 s remaining
 --> M (configured as T2147483647 63 s) rc=0;	state=M T=2147483647, 63.000000 s remaining
 --> M (configured as T2147483647 64 s) rc=0;	state=M T=2147483647, 64.000000 s remaining
 --> M (configured as T2147483647 126 s) rc=0;	state=M T=2147483647, 126.000000 s remaining
 --> M (configured as T2147483647 127 s) rc=0;	state=M T=2147483647, 127.000000 s remaining
 --> M (configured as T2147483647 128 s) rc=0;	state=M T=2147483647, 128.000000 s remaining
 --> M (configured as T2147483647 254 s) rc=0;	state=M T=2147483647, 254.000000 s remaining
 --> M (configured as T2147483647 255 s) rc=0;	state=M T=2147483647, 255.000000 s remaining
 --> M (configured as T2147483647 256 s) rc=0;	state=M T=2147483647, 256.000000 s remaining
 --> M (configured as T2147483647 510 s) rc=0;	state=M T=2147483647, 510.000000 s remaining
 --> M (configured as T2147483647 511 s) rc=0;	state=M T=2147483647, 511.000000 s remaining
 --> M (configured as T2147483647 512 s) rc=0;	state=M T=2147483647, 512.000000 s remaining
 --> M (configured as T2147483647 1022 s) rc=0;	state=M T=2147483647, 1022.000000 s remaining
 --> M (configured as T2147483647 1023 s) rc=0;	state=M T=2147483647, 1023.000000 s remaining
 --> M (configured as T2147483647 1024 s) rc=0;	state=M T=2147483647, 1024.000000 s remaining
 --> M (configured as T2147483647 2046 s) rc=0;	state=M T=2147483647, 2046.000000 s remaining
 --> M (configured as T2147483647 2047 s) rc=0;	state=M T=2147483647, 2047.000000 s remaining
 --> M (configured as T2147483647 2048 s) rc=0;	state=M T=2147483647, 2048.000000 s remaining
 --> M (configured as T2147483647 4094 s) rc=0;	state=M T=2147483647, 4094.000000 s remaining
 --> M (configured as T2147483647 4095 s) rc=0;	state=M T=2147483647, 4095.000000 s remaining
 --> M (configured as T2147483647 4096 s) rc=0;	state=M T=2147483647, 4096.000000 s remaining
 --> M (configured as T2147483647 8190 s) rc=0;	state=M T=2147483647, 8190.000000 s remaining
 --> M (configured as T2147483647 8191 s) rc=0;	state=M T=2147483647, 8191.000000 s remaining
 --> M (configured as T2147483647 8192 s) rc=0;	state=M T=2147483647, 8192.000000 s remaining
 --> M (configured as T2147483647 16382 s) rc=0;	state=M T=2147483647, 16382.000000 s remaining
 --> M (configured as T2147483647 16383 s) rc=0;	state=M T=2147483647, 16383.000000 s remaining
 --> M (configured as T2147483647 16384 s) rc=0;	state=M T=2147483647, 16384.000000 s remaining
--- int32_t max ---
 --> M (configured as T2147483647 32766 s) rc=0;	state=M T=2147483647, 32766.000000 s remaining
 --> M (configured as T2147483647 32767 s) rc=0;	state=M T=2147483647, 32767.000000 s remaining
 --> M (configured as T2147483647 32768 s) rc=0;	state=M T=2147483647, 32768.000000 s remaining
--- uint32_t max ---
 --> M (configured as T2147483647 65534 s) rc=0;	state=M T=2147483647, 65534.000000 s remaining
 --> M (configured as T2147483647 65535 s) rc=0;	state=M T=2147483647, 65535.000000 s remaining
 --> M (configured as T2147483647 65536 s) rc=0;	state=M T=2147483647, 65536.000000 s remaining
 --> M (configured as T2147483647 131070 s) rc=0;	state=M T=2147483647, 131070.000000 s remaining
 --> M (configured as T2147483647 131071 s) rc=0;	state=M T=2147483647, 131071.000000 s remaining
 --> M (configured as T2147483647 131072 s) rc=0;	state=M T=2147483647, 131072.000000 s remaining
 --> M (configured as T2147483647 262142 s) rc=0;	state=M T=2147483647, 262142.000000 s remaining
 --> M (configured as T2147483647 262143 s) rc=0;	state=M T=2147483647, 262143.000000 s remaining
 --> M (configured as T2147483647 262144 s) rc=0;	state=M T=2147483647, 262144.000000 s remaining
 --> M (configured as T2147483647 524286 s) rc=0;	state=M T=2147483647, 524286.000000 s remaining
 --> M (configured as T2147483647 524287 s) rc=0;	state=M T=2147483647, 524287.000000 s remaining
 --> M (configured as T2147483647 524288 s) rc=0;	state=M T=2147483647, 524288.000000 s remaining
 --> M (configured as T2147483647 1048574 s) rc=0;	state=M T=2147483647, 1048574.000000 s remaining
 --> M (configured as T2147483647 1048575 s) rc=0;	state=M T=2147483647, 1048575.000000 s remaining
 --> M (configured as T2147483647 1048576 s) rc=0;	state=M T=2147483647, 1048576.000000 s remaining
 --> M (configured as T2147483647 2097150 s) rc=0;	state=M T=2147483647, 2097150.000000 s remaining
 --> M (configured as T2147483647 2097151 s) rc=0;	state=M T=2147483647, 2097151.000000 s remaining
 --> M (configured as T2147483647 2097152 s) rc=0;	state=M T=2147483647, 2097152.000000 s remaining
 --> M (configured as T2147483647 4194302 s) rc=0;	state=M T=2147483647, 4194302.000000 s remaining
 --> M (configured as T2147483647 4194303 s) rc=0;	state=M T=2147483647, 4194303.000000 s remaining
 --> M (configured as T2147483647 4194304 s) rc=0;	state=M T=2147483647, 4194304.000000 s remaining
 --> M (configured as T2147483647 8388606 s) rc=0;	state=M T=2147483647, 8388606.000000 s remaining
 --> M (configured as T2147483647 8388607 s) rc=0;	state=M T=2147483647, 8388607.000000 s remaining
 --> M (configured as T2147483647 8388608 s) rc=0;	state=M T=2147483647, 8388608.000000 s remaining
 --> M (configured as T2147483647 16777214 s) rc=0;	state=M T=2147483647, 16777214.000000 s remaining
 --> M (configured as T2147483647 16777215 s) rc=0;	state=M T=2147483647, 16777215.000000 s remaining
 --> M (configured as T2147483647 16777216 s) rc=0;	state=M T=2147483647, 16777216.000000 s remaining
 --> M (configured as T2147483647 33554430 s) rc=0;	state=M T=2147483647, 33554430.000000 s remaining
 --> M (configured as T2147483647 33554431 s) rc=0;	state=M T=2147483647, 33554431.000000 s remaining
 --> M (configured as T2147483647 33554432 s) rc=0;	state=M T=2147483647, 33554432.000000 s remaining
 --> M (configured as T2147483647 67108862 s) rc=0;	state=M T=2147483647, 67108862.000000 s remaining
 --> M (configured as T2147483647 67108863 s) rc=0;	state=M T=2147483647, 67108863.000000 s remaining
 --> M (configured as T2147483647 67108864 s) rc=0;	state=M T=2147483647, 67108864.000000 s remaining
 --> M (configured as T2147483647 134217726 s) rc=0;	state=M T=2147483647, 134217726.000000 s remaining
 --> M (configured as T2147483647 134217727 s) rc=0;	state=M T=2147483647, 134217727.000000 s remaining
 --> M (configured as T2147483647 134217728 s) rc=0;	state=M T=2147483647, 134217728.000000 s remaining
 --> M (configured as T2147483647 268435454 s) rc=0;	state=M T=2147483647, 268435454.000000 s remaining
 --> M (configured as T2147483647 268435455 s) rc=0;	state=M T=2147483647, 268435455.000000 s remaining
 --> M (configured as T2147483647 268435456 s) rc=0;	state=M T=2147483647, 268435456.000000 s remaining
 --> M (configured as T2147483647 536870910 s) rc=0;	state=M T=2147483647, 536870910.000000 s remaining
 --> M (configured as T2147483647 536870911 s) rc=0;	state=M T=2147483647, 536870911.000000 s remaining
 --> M (configured as T2147483647 536870912 s) rc=0;	state=M T=2147483647, 536870912.000000 s remaining
 --> M (configured as T2147483647 1073741822 s) rc=0;	state=M T=2147483647, 1073741822.000000 s remaining
 --> M (configured as T2147483647 1073741823 s) rc=0;	state=M T=2147483647, 1073741823.000000 s remaining
 --> M (configured as T2147483647 1073741824 s) rc=0;	state=M T=2147483647, 1073741824.000000 s remaining
--- int64_t max ---
 --> M (configured as T2147483647 2147483646 s) rc=0;	state=M T=2147483647, 2147483646.000000 s remaining
 --> M (configured as T2147483647 2147483647 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 2147483648 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
--- uint64_t max ---
 --> M (configured as T2147483647 4294967294 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 4294967295 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 4294967296 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 8589934590 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 8589934591 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 8589934592 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 17179869182 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 17179869183 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 17179869184 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 34359738366 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 34359738367 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 34359738368 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 68719476734 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 68719476735 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 68719476736 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 137438953470 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 137438953471 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 137438953472 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 274877906942 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 274877906943 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 274877906944 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 549755813886 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 549755813887 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 549755813888 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 1099511627774 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 1099511627775 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 1099511627776 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 2199023255550 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 2199023255551 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 2199023255552 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 4398046511102 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 4398046511103 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 4398046511104 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 8796093022206 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 8796093022207 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 8796093022208 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 17592186044414 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 17592186044415 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 17592186044416 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 35184372088830 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 35184372088831 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 35184372088832 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 70368744177662 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 70368744177663 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 70368744177664 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 140737488355326 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 140737488355327 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 140737488355328 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 281474976710654 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 281474976710655 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 281474976710656 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 562949953421310 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 562949953421311 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 562949953421312 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 1125899906842622 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 1125899906842623 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 1125899906842624 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 2251799813685246 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 2251799813685247 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 2251799813685248 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 4503599627370494 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 4503599627370495 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 4503599627370496 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 9007199254740990 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 9007199254740991 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 9007199254740992 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 18014398509481982 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 18014398509481983 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 18014398509481984 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 36028797018963966 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 36028797018963967 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 36028797018963968 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 72057594037927934 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 72057594037927935 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 72057594037927936 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 144115188075855870 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 144115188075855871 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 144115188075855872 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 288230376151711742 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 288230376151711743 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 288230376151711744 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 576460752303423486 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 576460752303423487 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 576460752303423488 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 1152921504606846974 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 1152921504606846975 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 1152921504606846976 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 2305843009213693950 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 2305843009213693951 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 2305843009213693952 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 4611686018427387902 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 4611686018427387903 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 4611686018427387904 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 9223372036854775806 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 9223372036854775807 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 9223372036854775808 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 18446744073709551614 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 18446744073709551615 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 0 s) rc=0;	state=M T=2147483647, no timeout
- test disallowed transition:
 --> Z (no timer configured for this state) rc=0;	state=Z T=0, no timeout
 --> B (configured as T2 100 ms) rc=-1;	state=Z T=0, no timeout
 --> C (configured as T3 100 m) rc=-1;	state=Z T=0, no timeout
 --> D (configured as T4 100 custom-unit) rc=-1;	state=Z T=0, no timeout