[  128.114331][  T801] packetdrill (801) used greatest stack depth: 23416 bytes left