[  739.799986][ T7025] packetdrill (7025) used greatest stack depth: 23904 bytes left