[  143.736657][  T856] packetdrill (856) used greatest stack depth: 24128 bytes left