[  473.141069][ T4342] packetdrill (4342) used greatest stack depth: 23888 bytes left