[  423.843992][ T3712] packetdrill (3712) used greatest stack depth: 24080 bytes left