[   14.607598][  T232] python3 (232) used greatest stack depth: 24328 bytes left
[   25.778803][  T264] packetdrill (264) used greatest stack depth: 23232 bytes left