[  446.321431][ T4042] packetdrill (4042) used greatest stack depth: 24224 bytes left