[   52.421294][  T400] packetdrill (400) used greatest stack depth: 24720 bytes left