[  127.156713][  T801] packetdrill (801) used greatest stack depth: 23968 bytes left