[  127.617563][  T801] packetdrill (801) used greatest stack depth: 23912 bytes left