(23 . 3)(23 . 4)
 612395 ffa_ch20c_litmus_clearsigned   "Support for 'clearsigned' GPG texts in Litmus."
 612828 ffa_ch20d_litmus_nested_fix    "Fix for bug where nested 'clearsigned' sigs were rejected."
 629424 ffa_ch21a_bis_fix_ch15_gcd     "Fix for lethal flaw in Ch.15's Greatest Common Divisor."
 659788 ffa_ch21a_ter_ch14_ch20_errata "Fix for false alarm in Ch.14; Removal of two mutually-canceling bugs in Litmus."

(42 . 6)(42 . 13)
# All Other Cases:
RET_EGGOG=-1

# Verify that all of the necessary external programs in fact exist:
for i in $EXTERNALS
do
    command -v $i >/dev/null && continue || \
        { echo "$i is required but was not found! Please install it." >&2 ; \
        exit $RET_EGGOG; }
done

# Terminations:

(216 . 14)(223 . 6)
    exit $RET_EGGOG
fi

# Verify that all of the necessary external programs in fact exist:
for i in $EXTERNALS
do
    command -v $i >/dev/null && continue || \
        { echo "$i is required but was not found! Please install it." >&2 ; \
        exit $RET_EGGOG; }
done

# 'ASCII-Armoured' PGP signatures have mandatory start and end markers:
START_MARKER="^\-\-\-\-\-BEGIN PGP SIGNATURE\-\-\-\-\-"
END_MARKER="^\-\-\-\-\-END PGP SIGNATURE\-\-\-\-\-"
(458 . 6)(457 . 7)
# Calculate length (bytes) of the ASN turd for the digest used in the sig:
ASN_LEN=$((${#ASN} / 2))

# Read the hashed and unhashed sections :

# Hashed Section Length
get_sig_bytes 2
(471 . 7)(471 . 7)
sig_hashed=$r

# Unhashed Section Length
get_sig_bytes 1
get_sig_bytes 2
hex_to_int
sig_unhashed_len=$r

(491 . 16)(491 . 7)
# Convert to upper case
hash=$(echo $hash | tr 'a-z' 'A-Z')

# Parse the RSA Signature portion of the Sig file:

# RSA Packet Length (how many bytes to read)
get_sig_bytes 1
hex_to_int
rsa_packet_len=$r

# The RSA Packet itself
get_sig_bytes $rsa_packet_len
rsa_packet=$r
# Read and validate digest prefix :

# Digest Prefix (2 bytes)
get_sig_bytes 2

(45 . 7)(45 . 7)
   --- Current 'deg. Kelvin' Version of FFA
   ----------------------------------------------------------------------------
   
   FFA_K_Version : constant Natural := 200;
   FFA_K_Version : constant Natural := 199;
   
   ----------------------------------------------------------------------------
   --- Fundamental Types and Sizes

(247 . 9)(247 . 13)
      -- Borrow from the gated subtractions
      C       : WBool;
      
      -- Barring cosmic ray, no underflow can take place in (4) and (5)
      -- Barring cosmic ray, no underflow can take place in (4)
      NoCarry : WZeroOrDie := 0;
      
      -- Borrow from Subtraction in (5) is meaningless, and is discarded
      IgnoreC : WBool;
      pragma Unreferenced(IgnoreC);
      
   begin
      
      -- Result is initially zero (and will stay zero if Modulus = 1)
(277 . 7)(281 . 7)
      
      -- (5) R  := X - Q (we only need Rl-sized segments of X and Q here)
      FZ_Sub(X => X(1 .. Rl), Y => Q(1 .. Rl),
             Difference => R, Underflow => NoCarry);
             Difference => R, Underflow => IgnoreC); -- Borrow is discarded
      
      -- (6) S1 := R - M, C1 := Borrow (1st gated subtraction of Modulus)
      FZ_Sub(X => R, Y => Bar.ZXM, Difference => S, Underflow => C);