[  128.779627][  T801] packetdrill (801) used greatest stack depth: 23408 bytes left