[  431.782085][ T3858] packetdrill (3858) used greatest stack depth: 23904 bytes left