apparently T3193 is by default not set to its defined default value
When I run osmo-pcu and launch a ttcn3 test (PCU_Tests.TC_mt_ping_pong) so that a BTS is present,
'show bts-timers' lists:
OsmoPCU# show bts-timer
T3193 = 1600 ms Reuse of TFI(s) after reception of final PACKET DOWNLINK ACK/NACK from MS for TBF (default: 100 ms)
Notice that T3193 is set to 1600 ms, although its default says 100 ms.
I looked for anything that might alter the timeout in the ttcn3 code, but could not find anything.