[  444.453053][ T4008] packetdrill (4008) used greatest stack depth: 23176 bytes left