[   15.641673][  T263] python3 (263) used greatest stack depth: 24280 bytes left
[   22.176215][  T264] packetdrill (264) used greatest stack depth: 23192 bytes left