[   85.227154][  T721] packetdrill (721) used greatest stack depth: 24160 bytes left