[  382.506354][ T3641] packetdrill (3641) used greatest stack depth: 23848 bytes left