[  127.629437][  T801] packetdrill (801) used greatest stack depth: 23680 bytes left