[  473.947051][ T4565] packetdrill (4565) used greatest stack depth: 23288 bytes left