[   75.701440][  T493] python3 (493) used greatest stack depth: 24896 bytes left
[   82.670358][  T494] packetdrill (494) used greatest stack depth: 24288 bytes left