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