[  440.684095][ T4043] packetdrill (4043) used greatest stack depth: 24128 bytes left