[   19.008781][  T272] python3 (272) used greatest stack depth: 24720 bytes left
[   23.116935][  T264] packetdrill (264) used greatest stack depth: 23784 bytes left