[  144.705614][  T856] packetdrill (856) used greatest stack depth: 23536 bytes left