[  438.547535][ T3921] packetdrill (3921) used greatest stack depth: 23840 bytes left