[  128.094054][  T799] packetdrill (799) used greatest stack depth: 23400 bytes left