[   16.110286][  T225] packetdrill (225) used greatest stack depth: 24248 bytes left
[   22.576440][  T265] packetdrill (265) used greatest stack depth: 23712 bytes left