[   21.100414][  T225] packetdrill (225) used greatest stack depth: 24872 bytes left
[   29.004988][  T264] packetdrill (264) used greatest stack depth: 24848 bytes left