[  142.062436][  T925] packetdrill (925) used greatest stack depth: 24088 bytes left