[  147.111858][  T857] packetdrill (857) used greatest stack depth: 24144 bytes left