[  851.400835][ T7231] packetdrill (7231) used greatest stack depth: 23840 bytes left