[  438.187270][ T4008] packetdrill (4008) used greatest stack depth: 24240 bytes left