[  455.024315][ T4010] packetdrill (4010) used greatest stack depth: 23808 bytes left