[  143.711577][  T846] packetdrill (846) used greatest stack depth: 23608 bytes left