[  135.331924][  T857] packetdrill (857) used greatest stack depth: 24128 bytes left