[  438.677630][ T3860] packetdrill (3860) used greatest stack depth: 23696 bytes left