[  139.455943][  T808] packetdrill (808) used greatest stack depth: 24056 bytes left