[  437.649466][ T3858] packetdrill (3858) used greatest stack depth: 23808 bytes left