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