[  469.146732][ T4011] packetdrill (4011) used greatest stack depth: 23896 bytes left