(31 . 7)(31 . 6)
   begin
      return N'Length * Words.Bitness;
   end FZ_Bitness;
   pragma Inline_Always(FZ_Bitness);
   
   
   -- N := 0
(39 . 7)(38 . 6)
   begin
      N := (others => 0);
   end FZ_Clear;
   pragma Inline_Always(FZ_Clear);
   
   
   -- Set given FZ to a given truth value
(48 . 7)(46 . 6)
      FZ_Clear(N);
      FZ_Set_Head(N, V);
   end WBool_To_FZ;
   pragma Inline_Always(WBool_To_FZ);
   
   
   -- First word of N := Source
(56 . 7)(53 . 6)
   begin
      N(N'First) := Source;
   end FZ_Set_Head;
   pragma Inline_Always(FZ_Set_Head);
   
   
   -- First word of N
(64 . 7)(60 . 6)
   begin
      return N(N'First);
   end FZ_Get_Head;
   pragma Inline_Always(FZ_Get_Head);
   
   
   -- Exchange X and Y
(75 . 7)(70 . 6)
      X := Y;
      Y := T;
   end FZ_Swap;
   pragma Inline_Always(FZ_Swap);
   
   
   -- Constant-time MUX: Sel = 0: Result := X; Sel = 1: Result := Y
(85 . 6)(79 . 5)
         Result(i) := W_Mux(X(i), Y(i), Sel);
      end loop;
   end FZ_Mux;
   pragma Inline_Always(FZ_Mux);
   
end FZ_Basic;