           {*******************************************************}
                               {FDL Declarations}
                             {Examiner GPL Edition}

           {*******************************************************}


               {procedure Process_Dns_Request.Set_Unsigned_32}


title procedure set_unsigned_32;

  function round__(real) : integer;
  type dns_types__packet_bytes_range = integer;
  type dns_types__byte = integer;
  type unsigned_types__unsigned32 = integer;
  type dns_types__bytes_array_type = array [
     dns_types__packet_bytes_range] of dns_types__byte;
  const system__min_int : integer = pending;
  const system__max_int : integer = pending;
  const unsigned_types__unsigned32__base__first : 
     unsigned_types__unsigned32 = pending; 
  const unsigned_types__unsigned32__base__last : 
     unsigned_types__unsigned32 = pending; 
  const dns_types__byte__base__first : dns_types__byte = pending; 
  const dns_types__byte__base__last : dns_types__byte = pending; 
  const dns_types__packet_bytes_range__base__first : 
     dns_types__packet_bytes_range = pending; 
  const dns_types__packet_bytes_range__base__last : 
     dns_types__packet_bytes_range = pending; 
  const unsigned_types__unsigned32__first : 
     unsigned_types__unsigned32 = pending; 
  const unsigned_types__unsigned32__last : 
     unsigned_types__unsigned32 = pending; 
  const unsigned_types__unsigned32__modulus : integer = pending; 
  const unsigned_types__unsigned32__size : integer = pending; 
  const dns_types__byte__first : dns_types__byte = pending; 
  const dns_types__byte__last : dns_types__byte = pending; 
  const dns_types__byte__modulus : integer = pending; 
  const dns_types__byte__size : integer = pending; 
  const dns_types__packet_bytes_range__first : 
     dns_types__packet_bytes_range = pending; 
  const dns_types__packet_bytes_range__last : 
     dns_types__packet_bytes_range = pending; 
  const dns_types__packet_bytes_range__size : integer = pending; 
  var bytes : dns_types__bytes_array_type;
  var start_byte : dns_types__packet_bytes_range;
  var value : unsigned_types__unsigned32;

end;
