[  438.791712][ T4008] packetdrill (4008) used greatest stack depth: 24384 bytes left