
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk>rm -R dns_network_receive 

C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk>rm -R dns_table_pkg 

C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk>rm -R dns_types 

C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk>rm -R parser_utilities 

C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk>rm -R process_dns_request 

C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk>rm -R tcp_dns_package 

C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk>rm -R udp_dns_package 

C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk>rm -R zone_file_io 

C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk>rm -R zone_file_parser 

C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk>rm -R rr_type 

C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk>spark @files.txt 
           *******************************************************
                             Examiner GPL Edition

           *******************************************************



           Reading default switch file ...

           Reading target configuration file ...

         type Address is private;

---        Note              :  3: The deferred constant Null_Address has been 
           implicitly defined here.

         subtype Priority is Any_Priority range  0 ..  30;

---        Note              :  4: The constant Default_Priority, of type Priority, 
           has been implicitly defined here.

           Examining the specification of package DNS_Types ...

           Examining the specification of package DNS_Network ...

      WITH Gnat.Sockets;
           ^
---        Warning           :391: If the identifier Gnat represents a package 
           which contains a task or an interrupt handler then the 
           partition-level analysis performed by the Examiner will be 
           incomplete.  Such packages must be inherited as well as withed.

      end DNS_Network;

---        Warning           : 10: The private part of package DNS_Network is 
           hidden - hidden text is ignored by the Examiner.

           Examining the body of package DNS_Network ...

      with Ada.Streams;
           ^
---        Warning           :  1: The identifier Ada is either undeclared or not 
           visible at this point.

      with Socket_Timeout;
           ^
---        Warning           :391: If the identifier Socket_Timeout represents a 
           package which contains a task or an interrupt handler then the 
           partition-level analysis performed by the Examiner will be 
           incomplete.  Such packages must be inherited as well as withed.

      with Ada.Unchecked_Conversion;
           ^
---        Warning           :  1: The identifier Ada is either undeclared or not 
           visible at this point.

      end DNS_Network;

---        Warning           : 10: The body of package DNS_Network is hidden - 
           hidden text is ignored by the Examiner.

           Generating listing file dns_network.lsb ...

           Examining the specification of package Dns_Network_Receive ...

           Examining the body of package Dns_Network_Receive ...

+++        Flow analysis of subprogram 
           Receive_DNS_Packet_TCP performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram Receive_DNS_Packet 
           performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

           Generating listing file dns_network_receive.lsb ...

           Examining the specification of package Handling ...

           Examining the specification of package Unsigned_Types ...

           Examining the specification of package Rr_Type ...

           Examining the specification of package A_Record_Type ...

           Examining the specification of package Aaaa_Record_Type ...

           Examining the specification of package Cname_Record_Type ...

           Examining the specification of package Dnskey_Record_Type ...

           Examining the specification of package Mx_Record_Type ...

           Examining the specification of package Ns_Record_Type ...

           Examining the specification of package Nsec_Record_Type ...

           Examining the specification of package Ptr_Record_Type ...

           Examining the specification of package Soa_Record_Type ...

           Examining the specification of package dns_table_pkg ...

           Examining the body of package Dns_Table_Pkg ...

+++        Flow analysis of subprogram To_Lower performed: 
           no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram Same performed: no 
           errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram hash performed: no 
           errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram queryARecords 
           performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram queryAAAARecords 
           performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram queryCNAMERecords 
           performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram queryDNSKEYRecords 
           performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram queryMXRecords 
           performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram queryNSRecords 
           performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram queryNSECRecords 
           performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram queryPTRRecords 
           performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram querySOARecords 
           performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram insertARecord 
           performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram insertAAAARecord 
           performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram insertCNAMERecord 
           performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram InsertDNSKEYRecord 
           performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram insertMXRecord 
           performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram insertNSRecord 
           performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram insertNSECRecord 
           performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram insertPTRRecord 
           performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram InsertSOARecord 
           performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

           Generating listing file dns_table_pkg.lsb ...

           Examining the body of package DNS_Types ...

      with Gnat.Byte_Swapping;
           ^
---        Warning           :391: If the identifier Gnat represents a package 
           which contains a task or an interrupt handler then the 
           partition-level analysis performed by the Examiner will be 
           incomplete.  Such packages must be inherited as well as withed.

         end Byte_Swap_US;

---        Warning           : 10: The body of subprogram Byte_Swap_US is hidden - 
           hidden text is ignored by the Examiner.

+++        Flow analysis of subprogram Byte_Swap performed: 
           no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

           Generating listing file dns_types.lsb ...

           Examining the specification of package Error_Msgs ...

           Examining the body of package Error_Msgs ...

      with Ada.Text_IO, Ada.Integer_Text_IO;
           ^
---        Warning           :  1: The identifier Ada is either undeclared or not 
           visible at this point.
                        ^
---        Warning           :  1: The identifier Ada is either undeclared or not 
           visible at this point.

      with rr_Type.Dnskey_Record_Type;
                   ^
---        Warning           :391: If the identifier Dnskey_Record_Type represents 
           a package which contains a task or an interrupt handler then the 
           partition-level analysis performed by the Examiner will be 
           incomplete.  Such packages must be inherited as well as withed.

      end error_msgs;

---        Warning           : 10: The body of package Error_Msgs is hidden - 
           hidden text is ignored by the Examiner.

           Generating listing file error_msgs.lsb ...

           Examining the specification of package Protected_SPARK_IO_05 ...

      with Ada.Text_IO;
           ^
---        Warning           :  1: The identifier Ada is either undeclared or not 
           visible at this point.

      end Protected_SPARK_IO_05;

---        Warning           : 10: The private part of package 
           Protected_SPARK_IO_05 is hidden - hidden text is ignored by the 
           Examiner.

           Examining the specification of package Process_Dns_Request ...

           Examining the specification of package Multitask_Process_Dns_Request ...

           Examining the body of package Multitask_Process_Dns_Request ...

      with Task_Limit;
           ^
---        Warning           :391: If the identifier Task_Limit represents a 
           package which contains a task or an interrupt handler then the 
           partition-level analysis performed by the Examiner will be 
           incomplete.  Such packages must be inherited as well as withed.

      end Multitask_Process_Dns_Request;

---        Warning           : 10: The body of package 
           Multitask_Process_Dns_Request is hidden - hidden text is ignored by 
           the Examiner.

           Generating listing file multitask_process_dns_request.lsb ...

           Examining the specification of package Parser_Utilities ...

           Examining the body of package Parser_Utilities ...

+++        Flow analysis of subprogram IsMult performed: no 
           errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram convert8BitUnsigned 
           performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram convert16BitUnsigned 
           performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram MultValue performed: 
           no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram ConvertTimeSpec 
           performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram AddToKey performed: 
           no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram SeparatorsOK 
           performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram convertIpv6 
           performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram SeparatorsOK 
           performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram convertIpv4 
           performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram isClass performed: 
           no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram isRecord performed: 
           no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram getRecordType 
           performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram findFirstToken 
           performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram findNextToken 
           performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

           Generating listing file parser_utilities.lsb ...

           Examining the body of package Process_Dns_Request ...

      with Ada.Text_Io;
               ^
---        Warning           :391: If the identifier Text_Io represents a package 
           which contains a task or an interrupt handler then the 
           partition-level analysis performed by the Examiner will be 
           incomplete.  Such packages must be inherited as well as withed.

+++        Flow analysis of subprogram Set_Unsigned_32 
           performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram Set_Unsigned_16 
           performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram Set_TTL_Data_IP 
           performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram 
           Set_TTL_Data_NS_Response performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram 
           Set_TTL_Data_PTR_Response performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram 
           Set_TTL_Data_MX_Response performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram 
           Set_TTL_Data_SOA_Response performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram Set_TTL_Data_AAAA_IP 
           performed: no errors found.

           Building model of subprogram ...

            for i in rr_type.aaaa_record_type.IPV6AddrTypeIndex loop

---        Warning           :402: Default assertion planted to cut loop.

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram 
           Get_Query_Name_Type_Class performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram 
           Create_Response_Error performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram Create_Response_AAAA 
           performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram Create_Response_A 
           performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram Create_Response_NS 
           performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram Create_Response_PTR 
           performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram Create_Response_MX 
           performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram Create_Response_SOA 
           performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram 
           Process_Response_Cname performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram Trim_Name performed: 
           no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram 
           Create_NXDOMAIN_Response performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

               EDNS_Rec.Code    := To_Query_Type(DNS_Types.Unsigned_Short(
                                   ^
---        Warning           : 12: Function To_Query_Type is an instantiation of 
           Unchecked_Conversion.

                     From_Query_Type(DNS_Types.OPT) mod 256);
                     ^
---        Warning           : 12: Function From_Query_Type is an instantiation of 
           Unchecked_Conversion.

+++        Flow analysis of subprogram Create_Response_EDNS 
           performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram Create_Response 
           performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

         end Create_Response;

---        Warning           :409: VCs could not be generated for this subprogram 
           due to its size and/or complexity exceeding the capacity of the VC 
           Generator.  Unprovable (False) VC generated.

+++        Flow analysis of subprogram Process_Request_Tcp 
           performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

           Generating listing file process_dns_request.lsb ...

           Examining the body of package Protected_Spark_Io_05 ...

      with Text_IO;
           ^
---        Warning           :391: If the identifier Text_IO represents a package 
           which contains a task or an interrupt handler then the 
           partition-level analysis performed by the Examiner will be 
           incomplete.  Such packages must be inherited as well as withed.

      with Unchecked_Deallocation;
           ^
---        Warning           :391: If the identifier Unchecked_Deallocation 
           represents a package which contains a task or an interrupt handler 
           then the partition-level analysis performed by the Examiner will be 
           incomplete.  Such packages must be inherited as well as withed.

      end Protected_Spark_Io_05;

---        Warning           : 10: The body of package Protected_Spark_Io_05 is 
           hidden - hidden text is ignored by the Examiner.

           Generating listing file protected_spark_io_05.lsb ...

           Examining the body of package Rr_Type ...

+++        Flow analysis of subprogram DomainNameLength 
           performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram AppendDomainNames 
           performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram WireNameLength 
           performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram 
           ConvertStringToDomainName performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram FindPeriod 
           performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram 
           ConvertDomainNameToWire performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram ConvertStringToWire 
           performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

           Generating listing file rr_type.lsb ...

           Examining the specification of package Socket_Timeout ...

      WITH Gnat.Sockets;
           ^
---        Warning           :391: If the identifier Gnat represents a package 
           which contains a task or an interrupt handler then the 
           partition-level analysis performed by the Examiner will be 
           incomplete.  Such packages must be inherited as well as withed.

      end Socket_Timeout;

---        Warning           : 10: The private part of package Socket_Timeout is 
           hidden - hidden text is ignored by the Examiner.
          ^
---        Warning           :394: Variables of type Socket_Type cannot be 
           initialized using the facilities of this package.

           Examining the body of package Socket_Timeout ...

      with Gnat.Sockets.Thin;
           ^
---        Warning           :391: If the identifier Gnat represents a package 
           which contains a task or an interrupt handler then the 
           partition-level analysis performed by the Examiner will be 
           incomplete.  Such packages must be inherited as well as withed.

      with Interfaces;
           ^
---        Warning           :391: If the identifier Interfaces represents a 
           package which contains a task or an interrupt handler then the 
           partition-level analysis performed by the Examiner will be 
           incomplete.  Such packages must be inherited as well as withed.

      with Interfaces.C;
           ^
---        Warning           :391: If the identifier Interfaces represents a 
           package which contains a task or an interrupt handler then the 
           partition-level analysis performed by the Examiner will be 
           incomplete.  Such packages must be inherited as well as withed.

      with Ada.Unchecked_Conversion;
           ^
---        Warning           :  1: The identifier Ada is either undeclared or not 
           visible at this point.

      with Gnat.Sockets.Constants;
           ^
---        Warning           :391: If the identifier Gnat represents a package 
           which contains a task or an interrupt handler then the 
           partition-level analysis performed by the Examiner will be 
           incomplete.  Such packages must be inherited as well as withed.

      with ada.text_io;
           ^
---        Warning           :  1: The identifier ada is either undeclared or not 
           visible at this point.

      end Socket_Timeout;

---        Warning           : 10: The body of package Socket_Timeout is hidden - 
           hidden text is ignored by the Examiner.

           Generating listing file socket_timeout.lsb ...

           Examining the specification of package SPARK ...

           Examining the specification of package Ada ...

           Examining the specification of package Text_IO ...

      with Ada.Text_IO;
           ^
---        Warning           :  1: The identifier Ada is either undeclared or not 
           visible at this point.

      end SPARK.Ada.Text_IO;

---        Warning           : 10: The private part of package Text_IO is hidden - 
           hidden text is ignored by the Examiner.

           Examining the specification of package SPARK_Ada_Command_Line ...

           Examining the body of package SPARK_Ada_Command_Line ...

      with Ada.Command_Line;
           ^
---        Warning           :  1: The identifier Ada is either undeclared or not 
           visible at this point.

      with Ada.Text_IO;
           ^
---        Warning           :  1: The identifier Ada is either undeclared or not 
           visible at this point.

      with Gnat.Os_Lib;
           ^
---        Warning           :391: If the identifier Gnat represents a package 
           which contains a task or an interrupt handler then the 
           partition-level analysis performed by the Examiner will be 
           incomplete.  Such packages must be inherited as well as withed.

      end SPARK_Ada_Command_Line;

---        Warning           : 10: The body of package SPARK_Ada_Command_Line is 
           hidden - hidden text is ignored by the Examiner.

           Generating listing file spark_ada_command_line.lsb ...

           Examining the specification of package Udp_Dns_Package ...

           Examining the specification of package Tcp_Dns_Package ...

           Examining the specification of package Strings ...

           Examining the specification of package Maps ...

      with Ada.Strings.Maps;
           ^
---        Warning           :  1: The identifier Ada is either undeclared or not 
           visible at this point.

      end SPARK.Ada.Strings.Maps;

---        Warning           : 10: The private part of package Maps is hidden - 
           hidden text is ignored by the Examiner.

           Examining the specification of package Zone_File_Parser ...

           Examining the specification of package zone_file_io ...

           Examining main program Spark_Dns_Main ...

+++        Flow analysis of subprogram Spark_Dns_Main 
           performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of the entire partition performed: 
           no errors found.

           Generating listing file spark_dns_main.lsb ...

           Examining the specification of package Task_Limit ...

           Examining the body of package Task_Limit ...

+++        Flow analysis of subprogram Increment performed: 
           no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram Decrement performed: 
           no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

           Generating listing file task_limit.lsb ...

           Examining the body of package Tcp_Dns_Package ...

+++        Flow analysis of subprogram Initialization_Done 
           performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram Tcp_Dns_Task 
           performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

           Generating listing file tcp_dns_package.lsb ...

           Examining the body of package Udp_Dns_Package ...

+++        Flow analysis of subprogram Initialization_Done 
           performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram Udp_Dns_Task 
           performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

           Generating listing file udp_dns_package.lsb ...

           Examining the body of package Zone_File_Io ...

+++        Flow analysis of subprogram CheckAndAppendOrigin 
           performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram checkValidHostName 
           performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram ProcessRecord 
           performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram processzoneFile 
           performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

           Generating listing file zone_file_io.lsb ...

           Examining the body of package zone_file_parser ...

+++        Flow analysis of subprogram ParseDNSKeyHeader 
           performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram parseDomainName 
           performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram 
           ParseDomainNameAndRRString performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram ParseTimeSpec 
           performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram ParseControlLine 
           performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram parseSerialNumber 
           performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram 
           parsePrefAndDomainName performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram parseIpv4 performed: 
           no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram parseIpv6 performed: 
           no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram 
           ParseNameServerAndEmail performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

+++        Flow analysis of subprogram 
           parseOwnerTTLClassAndRecordType performed: no errors found.

           Building model of subprogram ...

           Generating VCs ...

           Writing VCs ...

           Generating listing file zone_file_parser.lsb ...

           Generating report file ...

   44 errors or warnings, comprising:
        44 warnings
   54 expected (justified) warnings


-----------End of SPARK Examination--------------------------------

C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk>sparksimp -p 2 
SPARKSimp GPL 2011
Copyright (C) 2011 Altran Praxis Limited, Bath, U.K.
Simplifier  binary located at: c:\spark\2011\bin\spadesimp.exe
ZombieScope binary located at: c:\spark\2011\bin\zombiescope.exe

Files to be simplified are:
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_network_receive\receive_dns_packet.vcg, 10720 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_network_receive\receive_dns_packet_tcp.vcg, 11970 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\hash.vcg, 13204 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertaaaarecord.vcg, 52612 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertarecord.vcg, 46829 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertcnamerecord.vcg, 51868 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertdnskeyrecord.vcg, 86226 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertmxrecord.vcg, 58928 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertnsecrecord.vcg, 63004 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertnsrecord.vcg, 50814 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertptrrecord.vcg, 50920 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertsoarecord.vcg, 126344 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\queryaaaarecords.vcg, 53929 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\queryarecords.vcg, 49948 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\querycnamerecords.vcg, 53617 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\querydnskeyrecords.vcg, 86004 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\querymxrecords.vcg, 60325 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\querynsecrecords.vcg, 63265 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\querynsrecords.vcg, 52717 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\queryptrrecords.vcg, 52850 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\querysoarecords.vcg, 100682 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\same.vcg, 12142 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\to_lower.vcg, 12752 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_types\byte_swap.vcg, 56185 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\addtokey.vcg, 140225 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\convert16bitunsigned.vcg, 21502 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\convert8bitunsigned.vcg, 21450 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\convertipv4\separatorsok.vcg, 2458 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\convertipv4.vcg, 332410 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\convertipv6\separatorsok.vcg, 9798 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\convertipv6.vcg, 259205 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\converttimespec\multvalue.vcg, 15911 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\converttimespec.vcg, 236211 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\findfirsttoken.vcg, 902934 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\findnexttoken.vcg, 1361165 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\getrecordtype.vcg, 561793 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\isclass.vcg, 7365 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\ismult.vcg, 1410 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\isrecord.vcg, 212968 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_nxdomain_response.vcg, 164028 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response.vcg, 487 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_a.vcg, 197560 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_aaaa.vcg, 202275 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_edns.vcg, 710175 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_error.vcg, 9915 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_mx.vcg, 422149 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_ns.vcg, 405713 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_ptr.vcg, 373366 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_soa.vcg, 463396 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\get_query_name_type_class.vcg, 617276 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\process_request_tcp.vcg, 84719 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\process_response_cname.vcg, 367793 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_ttl_data_aaaa_ip.vcg, 20028 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_ttl_data_ip.vcg, 7272 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_ttl_data_mx_response.vcg, 35280 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_ttl_data_ns_response.vcg, 26929 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_ttl_data_ptr_response.vcg, 27129 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_ttl_data_soa_response.vcg, 284090 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_unsigned_16.vcg, 4470 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_unsigned_32.vcg, 12120 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\trim_name.vcg, 29747 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\rr_type\appenddomainnames.vcg, 98265 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\rr_type\convertdomainnametowire\findperiod.vcg, 12137 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\rr_type\convertdomainnametowire.vcg, 46434 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\rr_type\convertstringtodomainname.vcg, 7274 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\rr_type\convertstringtowire.vcg, 1067 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\rr_type\domainnamelength.vcg, 14802 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\rr_type\wirenamelength.vcg, 10090 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\spark_dns_main.vcg, 1236 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\task_limit\task_count_type\decrement.vcg, 2869 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\task_limit\task_count_type\increment.vcg, 2991 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\tcp_dns_package\initialization_done.vcg, 459 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\tcp_dns_package\tcp_dns_task.vcg, 773 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\udp_dns_package\initialization_done.vcg, 459 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\udp_dns_package\udp_dns_task.vcg, 58964 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_io\checkandappendorigin.vcg, 8155 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_io\checkvalidhostname.vcg, 30843 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_io\processrecord.vcg, 181845 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_io\processzonefile.vcg, 7528032 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parsecontrolline.vcg, 200837 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parsednskeyheader.vcg, 1602285 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parsedomainname.vcg, 148319 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parsedomainnameandrrstring.vcg, 761234 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parseipv4.vcg, 39692 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parseipv6.vcg, 21617 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parsenameserverandemail.vcg, 954078 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parseownerttlclassandrecordtype.vcg, 1567747 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parseprefanddomainname.vcg, 489433 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parseserialnumber.vcg, 36295 bytes
C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parsetimespec.vcg, 9560 bytes

 90 files require processing

Job-ID Status     Filename
====== ======     ========
     1 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_network_receive\receive_dns_packet.vcg
     2 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_network_receive\receive_dns_packet_tcp.vcg
     1 Finished    0: 0: 0.30
     3 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\hash.vcg
     2 Finished    0: 0: 0.32
     4 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertaaaarecord.vcg
     3 Finished    0: 0: 0.46
     5 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertarecord.vcg
     4 Finished    0: 0: 0.44
     6 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertcnamerecord.vcg
     5 Finished    0: 0: 0.42
     7 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertdnskeyrecord.vcg
     6 Finished    0: 0: 0.45
     8 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertmxrecord.vcg
     8 Finished    0: 0: 0.53
     9 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertnsecrecord.vcg
     7 Finished    0: 0: 0.69
    10 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertnsrecord.vcg
     9 Finished    0: 0: 0.54
    11 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertptrrecord.vcg
    10 Finished    0: 0: 0.42
    12 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertsoarecord.vcg
    11 Finished    0: 0: 0.41
    13 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\queryaaaarecords.vcg
    13 Finished    0: 0: 0.56
    14 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\queryarecords.vcg
    12 Finished    0: 0: 0.99
    15 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\querycnamerecords.vcg
    14 Finished    0: 0: 0.53
    16 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\querydnskeyrecords.vcg
    15 Finished    0: 0: 0.59
    17 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\querymxrecords.vcg
    17 Finished    0: 0: 0.62
    18 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\querynsecrecords.vcg
    16 Finished    0: 0: 0.80
    19 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\querynsrecords.vcg
    19 Finished    0: 0: 0.52
    20 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\queryptrrecords.vcg
    18 Finished    0: 0: 0.62
    21 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\querysoarecords.vcg
    20 Finished    0: 0: 0.54
    22 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\same.vcg
    22 Finished    0: 0: 0.23
    23 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\to_lower.vcg
    21 Finished    0: 0: 0.93
    24 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_types\byte_swap.vcg
    23 Finished    0: 0: 0.23
    25 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\addtokey.vcg
    24 Finished    0: 0: 0.28
    26 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\convert16bitunsigned.vcg
    26 Finished    0: 0: 0.34
    27 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\convert8bitunsigned.vcg
    27 Finished    0: 0: 0.35
    28 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\convertipv4\separatorsok.vcg
    28 Finished    0: 0: 0.15
    29 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\convertipv4.vcg
    25 Finished    0: 0: 1.17
    30 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\convertipv6\separatorsok.vcg
    30 Finished    0: 0: 0.21
    31 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\convertipv6.vcg
    29 Finished    0: 0: 1.21
    32 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\converttimespec\multvalue.vcg
    32 Finished    0: 0: 0.21
    33 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\converttimespec.vcg
    31 Finished    0: 0: 1.47
    34 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\findfirsttoken.vcg
    33 Finished    0: 0: 1.65
    35 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\findnexttoken.vcg
    34 Finished    0: 0: 2.82
    36 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\getrecordtype.vcg
    36 Finished    0: 0: 1.96
    37 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\isclass.vcg
    37 Finished    0: 0: 0.15
    38 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\ismult.vcg
    38 Finished    0: 0: 0.13
    39 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\isrecord.vcg
    39 Finished    0: 0: 1.22
    40 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_nxdomain_response.vcg
    35 Finished    0: 0: 6.28
    41 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response.vcg
    40 Finished    0: 0: 1.44
    42 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_a.vcg
    41 Finished    0: 0: 0.17
    43 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_aaaa.vcg
    42 Finished    0: 0: 4.33
    44 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_edns.vcg
    43 Finished    0: 0: 4.45
    45 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_error.vcg
    45 Finished    0: 0: 0.19
    46 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_mx.vcg
    46 Finished    0: 0:11.81
    47 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_ns.vcg
    44 Finished    0: 0:20.22
    48 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_ptr.vcg
    47 Finished    0: 0:11.89
    49 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_soa.vcg
    48 Finished    0: 0:12.17
    50 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\get_query_name_type_class.vcg
    49 Finished    0: 0:10.58
    51 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\process_request_tcp.vcg
    51 Finished    0: 0: 0.89
    52 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\process_response_cname.vcg
    52 Finished    0: 0: 4.82
    53 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_ttl_data_aaaa_ip.vcg
    53 Finished    0: 0: 0.28
    54 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_ttl_data_ip.vcg
    54 Finished    0: 0: 0.21
    55 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_ttl_data_mx_response.vcg
    55 Finished    0: 0: 0.67
    56 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_ttl_data_ns_response.vcg
    56 Finished    0: 0: 0.50
    57 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_ttl_data_ptr_response.vcg
    57 Finished    0: 0: 0.50
    58 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_ttl_data_soa_response.vcg
    50 Finished    0: 0:16.54
    59 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_unsigned_16.vcg
    59 Finished    0: 0: 0.25
    60 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_unsigned_32.vcg
    60 Finished    0: 0: 0.50
    61 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\trim_name.vcg
    61 Finished    0: 0: 0.65
    62 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\rr_type\appenddomainnames.vcg
    62 Finished    0: 0: 0.69
    63 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\rr_type\convertdomainnametowire\findperiod.vcg
    63 Finished    0: 0: 0.25
    64 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\rr_type\convertdomainnametowire.vcg
    64 Finished    0: 0: 0.45
    65 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\rr_type\convertstringtodomainname.vcg
    65 Finished    0: 0: 0.23
    66 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\rr_type\convertstringtowire.vcg
    66 Finished    0: 0: 0.17
    67 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\rr_type\domainnamelength.vcg
    67 Finished    0: 0: 0.35
    68 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\rr_type\wirenamelength.vcg
    68 Finished    0: 0: 0.27
    69 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\spark_dns_main.vcg
    69 Finished    0: 0: 0.13
    70 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\task_limit\task_count_type\decrement.vcg
    70 Finished    0: 0: 0.16
    71 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\task_limit\task_count_type\increment.vcg
    71 Finished    0: 0: 0.13
    72 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\tcp_dns_package\initialization_done.vcg
    72 Finished    0: 0: 0.13
    73 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\tcp_dns_package\tcp_dns_task.vcg
    73 Finished    0: 0: 0.17
    74 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\udp_dns_package\initialization_done.vcg
    74 Finished    0: 0: 0.13
    75 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\udp_dns_package\udp_dns_task.vcg
    75 Finished    0: 0: 0.71
    76 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_io\checkandappendorigin.vcg
    76 Finished    0: 0: 0.23
    77 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_io\checkvalidhostname.vcg
    77 Finished    0: 0: 0.43
    78 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_io\processrecord.vcg
    78 Finished    0: 0: 0.69
    79 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_io\processzonefile.vcg
    58 Finished    0: 0:15.14
    80 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parsecontrolline.vcg
    80 Finished    0: 0: 1.30
    81 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parsednskeyheader.vcg
    81 Finished    0: 0: 8.31
    82 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parsedomainname.vcg
    82 Finished    0: 0: 1.08
    83 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parsedomainnameandrrstring.vcg
    83 Finished    0: 0:18.56
    84 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parseipv4.vcg
    79 Finished    0: 0:31.43
    85 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parseipv6.vcg
    84 Finished    0: 0: 0.30
    86 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parsenameserverandemail.vcg
    85 Finished    0: 0: 0.24
    87 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parseownerttlclassandrecordtype.vcg
    86 Finished    0: 0: 6.57
    88 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parseprefanddomainname.vcg
    87 Finished    0: 0: 8.74
    89 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parseserialnumber.vcg
    88 Finished    0: 0: 2.74
    90 Started - SIMPLIFY - C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parsetimespec.vcg
    89 Finished    0: 0: 0.41
    90 Finished    0: 0: 0.20
Total elapsed time:    0: 1:57.70

C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk>pogs -i 
-------------------------------------------------------------------------------
                          Semantic Analysis Summary                            
                                POGS GPL 2011                                  
            Copyright (C) 2011 Altran Praxis Limited, Bath, U.K.               
-------------------------------------------------------------------------------

Reading file structure ...

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_network_receive\receive_dns_packet.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_network_receive\receive_dns_packet.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_network_receive\receive_dns_packet.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_network_receive\receive_dns_packet_tcp.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_network_receive\receive_dns_packet_tcp.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_network_receive\receive_dns_packet_tcp.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\hash.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\hash.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\hash.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertaaaarecord.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertaaaarecord.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertaaaarecord.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertarecord.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertarecord.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertarecord.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertcnamerecord.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertcnamerecord.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertcnamerecord.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertdnskeyrecord.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertdnskeyrecord.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertdnskeyrecord.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertmxrecord.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertmxrecord.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertmxrecord.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertnsecrecord.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertnsecrecord.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertnsecrecord.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertnsrecord.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertnsrecord.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertnsrecord.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertptrrecord.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertptrrecord.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertptrrecord.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertsoarecord.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertsoarecord.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\insertsoarecord.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\queryaaaarecords.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\queryaaaarecords.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\queryaaaarecords.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\queryarecords.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\queryarecords.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\queryarecords.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\querycnamerecords.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\querycnamerecords.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\querycnamerecords.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\querydnskeyrecords.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\querydnskeyrecords.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\querydnskeyrecords.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\querymxrecords.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\querymxrecords.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\querymxrecords.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\querynsecrecords.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\querynsecrecords.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\querynsecrecords.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\querynsrecords.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\querynsrecords.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\querynsrecords.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\queryptrrecords.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\queryptrrecords.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\queryptrrecords.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\querysoarecords.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\querysoarecords.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\querysoarecords.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\same.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\same.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\same.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\to_lower.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\to_lower.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_table_pkg\dns_table_type\to_lower.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_types\byte_swap.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_types\byte_swap.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\dns_types\byte_swap.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\addtokey.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\addtokey.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\addtokey.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\convert16bitunsigned.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\convert16bitunsigned.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\convert16bitunsigned.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\convert8bitunsigned.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\convert8bitunsigned.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\convert8bitunsigned.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\convertipv4.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\convertipv4.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\convertipv4.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\convertipv4\separatorsok.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\convertipv4\separatorsok.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\convertipv4\separatorsok.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\convertipv6.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\convertipv6.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\convertipv6.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\convertipv6\separatorsok.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\convertipv6\separatorsok.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\convertipv6\separatorsok.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\converttimespec.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\converttimespec.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\converttimespec.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\converttimespec\multvalue.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\converttimespec\multvalue.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\converttimespec\multvalue.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\findfirsttoken.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\findfirsttoken.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\findfirsttoken.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\findnexttoken.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\findnexttoken.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\findnexttoken.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\getrecordtype.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\getrecordtype.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\getrecordtype.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\isclass.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\isclass.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\isclass.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\ismult.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\ismult.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\ismult.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\isrecord.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\isrecord.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\parser_utilities\isrecord.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_nxdomain_response.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_nxdomain_response.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_nxdomain_response.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_a.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_a.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_a.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_aaaa.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_aaaa.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_aaaa.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_edns.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_edns.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_edns.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_error.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_error.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_error.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_mx.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_mx.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_mx.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_ns.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_ns.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_ns.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_ptr.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_ptr.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_ptr.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_soa.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_soa.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\create_response_soa.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\get_query_name_type_class.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\get_query_name_type_class.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\get_query_name_type_class.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\process_request_tcp.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\process_request_tcp.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\process_request_tcp.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\process_response_cname.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\process_response_cname.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\process_response_cname.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_ttl_data_aaaa_ip.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_ttl_data_aaaa_ip.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_ttl_data_aaaa_ip.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_ttl_data_ip.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_ttl_data_ip.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_ttl_data_ip.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_ttl_data_mx_response.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_ttl_data_mx_response.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_ttl_data_mx_response.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_ttl_data_ns_response.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_ttl_data_ns_response.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_ttl_data_ns_response.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_ttl_data_ptr_response.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_ttl_data_ptr_response.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_ttl_data_ptr_response.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_ttl_data_soa_response.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_ttl_data_soa_response.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_ttl_data_soa_response.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_unsigned_16.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_unsigned_16.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_unsigned_16.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_unsigned_32.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_unsigned_32.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\set_unsigned_32.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\trim_name.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\trim_name.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\process_dns_request\trim_name.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\rr_type\appenddomainnames.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\rr_type\appenddomainnames.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\rr_type\appenddomainnames.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\rr_type\convertdomainnametowire.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\rr_type\convertdomainnametowire.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\rr_type\convertdomainnametowire.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\rr_type\convertdomainnametowire\findperiod.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\rr_type\convertdomainnametowire\findperiod.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\rr_type\convertdomainnametowire\findperiod.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\rr_type\convertstringtodomainname.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\rr_type\convertstringtodomainname.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\rr_type\convertstringtodomainname.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\rr_type\convertstringtowire.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\rr_type\convertstringtowire.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\rr_type\convertstringtowire.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\rr_type\domainnamelength.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\rr_type\domainnamelength.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\rr_type\domainnamelength.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\rr_type\wirenamelength.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\rr_type\wirenamelength.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\rr_type\wirenamelength.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\spark_dns_main.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\spark_dns_main.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\spark_dns_main.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\spark_dns_main.vlg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\spark_dns_main.vct

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\task_limit\task_count_type\decrement.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\task_limit\task_count_type\decrement.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\task_limit\task_count_type\decrement.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\task_limit\task_count_type\decrement.vlg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\task_limit\task_count_type\decrement.vct

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\task_limit\task_count_type\increment.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\task_limit\task_count_type\increment.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\task_limit\task_count_type\increment.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\task_limit\task_count_type\increment.vlg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\task_limit\task_count_type\increment.vct

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\tcp_dns_package\initialization_done.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\tcp_dns_package\initialization_done.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\tcp_dns_package\initialization_done.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\tcp_dns_package\tcp_dns_task.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\tcp_dns_package\tcp_dns_task.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\tcp_dns_package\tcp_dns_task.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\udp_dns_package\initialization_done.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\udp_dns_package\initialization_done.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\udp_dns_package\initialization_done.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\udp_dns_package\udp_dns_task.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\udp_dns_package\udp_dns_task.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\udp_dns_package\udp_dns_task.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_io\checkandappendorigin.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_io\checkandappendorigin.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_io\checkandappendorigin.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_io\checkvalidhostname.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_io\checkvalidhostname.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_io\checkvalidhostname.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_io\processrecord.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_io\processrecord.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_io\processrecord.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_io\processzonefile.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_io\processzonefile.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_io\processzonefile.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parsecontrolline.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parsecontrolline.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parsecontrolline.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parsednskeyheader.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parsednskeyheader.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parsednskeyheader.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parsedomainname.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parsedomainname.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parsedomainname.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parsedomainnameandrrstring.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parsedomainnameandrrstring.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parsedomainnameandrrstring.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parseipv4.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parseipv4.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parseipv4.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parseipv6.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parseipv6.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parseipv6.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parsenameserverandemail.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parsenameserverandemail.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parsenameserverandemail.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parseownerttlclassandrecordtype.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parseownerttlclassandrecordtype.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parseownerttlclassandrecordtype.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parseprefanddomainname.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parseprefanddomainname.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parseprefanddomainname.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parseserialnumber.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parseserialnumber.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parseserialnumber.slg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parsetimespec.vcg

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parsetimespec.siv

Processing file C:\Users\martin.carlisle\Documents\DARPA-DNS\svn\trunk\zone_file_parser\parsetimespec.slg


