[   52.036430][  T385] packetdrill (385) used greatest stack depth: 24720 bytes left