[  451.345844][ T4010] packetdrill (4010) used greatest stack depth: 23728 bytes left