# HG changeset patch
# User ods15
# Date 1142232655 0
# Node ID 0ebc8dfa136a91785c3e0affa00cf769fb7d81ab
# Parent  194a848d907f8cbc7489f1f1e05d7a44be0d4aef
cosmetic, move stuff around

diff -r 194a848d907f -r 0ebc8dfa136a DOCS/tech/mpcf.txt
--- a/DOCS/tech/mpcf.txt	Mon Mar 13 03:46:25 2006 +0000
+++ b/DOCS/tech/mpcf.txt	Mon Mar 13 06:50:55 2006 +0000
@@ -125,6 +125,26 @@
     impossible to add new fields at the end of packets in the future
     in a compatible way]
 
+packet_header
+    startcode                           f(64)
+    forward_ptr                         v
+    if(forward_ptr > 4096)
+        header_checksum                 u(32)
+
+packet_footer
+    reserved_bytes
+    checksum                            u(32)
+
+reserved_headers
+    while(next_byte == 'N' && next_code !=      main_startcode
+                           && next_code !=    stream_startcode
+                           && next_code !=      info_startcode
+                           && next_code !=     index_startcode
+                           && next_code != syncpoint_startcode){
+        packet_header
+        packet_footer
+    }
+
         Headers:
 
 main header:
@@ -313,26 +333,6 @@
 above is a better loop in practice (not to mention its simpler)
 note, demuxers MUST be able to deal with new and unknown headers
 
-packet_header
-        startcode                               f(64)
-        forward_ptr                             v
-        if(forward_ptr > 4096)
-            header_checksum                     u(32)
-
-packet_footer
-        reserved_bytes
-        checksum                                u(32)
-
-reserved_headers
-    while(next_byte == 'N' && next_code !=      main_startcode
-                           && next_code !=    stream_startcode
-                           && next_code !=      info_startcode
-                           && next_code !=     index_startcode
-                           && next_code != syncpoint_startcode){
-        packet_header
-        packet_footer
-    }
-
 file:
     file_id_string
     while(!eof){