[   17.315944][  T225] packetdrill (225) used greatest stack depth: 23864 bytes left
[   24.073739][  T264] packetdrill (264) used greatest stack depth: 23712 bytes left