What follows is an informal specification of the file's syntax, followed by a discussion of the syntax, and then some examples illustrating some more difficult points about the syntax.