\File{grindposy\-1.py},{11:13},{Jul  4 1988}
\L{\LB{\C{}\-\- automatically generated by rosy 3.1 \#15 (killer\-rat), do not edit!}}
\CE{}\L{\LB{}}
\L{\LB{IMAGE \K{DEFINITIONS} ::=}}
\L{\LB{}}
\L{\LB{\K{BEGIN}}}
\L{\LB{}}
\L{\LB{Initialize\-INV ::=}}
\L{\LB{}\Tab{8}{\K{SEQUENCE} \{}}
\L{\LB{}\Tab{8}{    proposed[0]}}
\L{\LB{}\Tab{16}{\K{IMPLICIT} Version}}
\L{\LB{}\Tab{16}{\K{DEFAULT} \{ version\-1 \}}}
\L{\LB{}\Tab{8}{\}}}
\L{\LB{}}
\L{\LB{Initialize\-RSP ::=}}
\L{\LB{}\Tab{8}{\K{SEQUENCE} \{}}
\L{\LB{}\Tab{8}{    negotiated[0]}}
\L{\LB{}\Tab{16}{\K{IMPLICIT} Version}}
\L{\LB{}\Tab{16}{\K{OPTIONAL}}}
\L{\LB{}\Tab{8}{\}}}
\L{\LB{}}
\L{\LB{VersionsSupported ::=}}
\L{\LB{}\Tab{8}{\K{SEQUENCE} \{}}
\L{\LB{}\Tab{8}{    supported[0]}}
\L{\LB{}\Tab{16}{\K{IMPLICIT} Version}}
\L{\LB{}\Tab{8}{\}}}
\L{\LB{}}
\L{\LB{Version ::=}}
\L{\LB{}\Tab{8}{\K{BIT} \K{STRING} \{}}
\L{\LB{}\Tab{8}{    version\-1(0)}}
\L{\LB{}\Tab{8}{\}}}
\L{\LB{}}
\L{\LB{ReadImage\-INV ::=}}
\L{\LB{}\Tab{8}{\K{SEQUENCE} \{}}
\L{\LB{}\Tab{16}{\K{SEQUENCE} \K{OF}}}
\L{\LB{}\Tab{16}{    \K{CHOICE} \{}}
\L{\LB{}\Tab{24}{file\-name[0]}}
\L{\LB{}\Tab{24}{    \K{IMPLICIT} Filename,}}
\L{\LB{}}
\L{\LB{}\Tab{24}{mail\-address[1]}}
\L{\LB{}\Tab{24}{    \K{IMPLICIT} Mail\-Address}}
\L{\LB{}\Tab{16}{    \},}}
\L{\LB{}}
\L{\LB{}\Tab{16}{\K{SEQUENCE} \K{OF}}}
\L{\LB{}\Tab{16}{    Format}}
\L{\LB{}\Tab{8}{\}}}
\L{\LB{}}
\L{\LB{ReadImage\-RSP ::=}}
\L{\LB{}\Tab{8}{\K{SEQUENCE} \{}}
\L{\LB{}\Tab{16}{\K{CHOICE} \{}}
\L{\LB{}\Tab{16}{    x\-windows}}
\L{\LB{}\Tab{24}{X\-Windows\-Bitmap}}
\L{\LB{}\Tab{16}{\}}}
\L{\LB{}\Tab{8}{\}}}
\L{\LB{}}
\L{\LB{FormatsSupported ::=}}
\L{\LB{}\Tab{8}{\K{SEQUENCE} \{}}
\L{\LB{}\Tab{8}{    supported[0]}}
\L{\LB{}\Tab{16}{\K{IMPLICIT} Format}}
\L{\LB{}\Tab{8}{\}}}
\L{\LB{}}
\L{\LB{Format ::=}}
\L{\LB{}\Tab{8}{\K{BIT} \K{STRING} \{}}
\L{\LB{}\Tab{8}{    x\-windows\-bitmap(0)}}
\L{\LB{}\Tab{8}{\}}}
\L{\LB{}}
\L{\LB{Filename ::=}}
\L{\LB{    [\K{APPLICATION} 1]}}
\L{\LB{}\Tab{8}{\K{IMPLICIT} GraphicString}}
\L{\LB{}}
\L{\LB{Mail\-Address ::=}}
\L{\LB{    [\K{APPLICATION} 2]}}
\L{\LB{}\Tab{8}{\K{IMPLICIT} \K{SEQUENCE} \{}}
\L{\LB{}\Tab{8}{    local[0]}}
\L{\LB{}\Tab{16}{\K{IMPLICIT} GraphicString,}}
\L{\LB{}}
\L{\LB{}\Tab{8}{    domain[1]}}
\L{\LB{}\Tab{16}{\K{IMPLICIT} GraphicString,}}
\L{\LB{}}
\L{\LB{}\Tab{8}{    options[2]}}
\L{\LB{}\Tab{16}{\K{IMPLICIT} \K{BIT} \K{STRING} \{}}
\L{\LB{}\Tab{16}{    default\-local(0),}}
\L{\LB{}\Tab{16}{    default\-host(1)}}
\L{\LB{}\Tab{16}{\}}}
\L{\LB{}\Tab{16}{\K{DEFAULT} \{ default\-local,  default\-host \}}}
\L{\LB{}\Tab{8}{\}}}
\L{\LB{}}
\L{\LB{X\-Windows\-Bitmap ::=}}
\L{\LB{    [\K{APPLICATION} 100]}}
\L{\LB{}\Tab{8}{\K{IMPLICIT} \K{SET} \{}}
\L{\LB{}\Tab{8}{    width[0]}}
\L{\LB{}\Tab{16}{\K{IMPLICIT} \K{INTEGER},}}
\L{\LB{}}
\L{\LB{}\Tab{8}{    height[1]}}
\L{\LB{}\Tab{16}{\K{IMPLICIT} \K{INTEGER},}}
\L{\LB{}}
\L{\LB{}\Tab{8}{    hot\-spot\-x[2]}}
\L{\LB{}\Tab{16}{\K{IMPLICIT} \K{INTEGER}}}
\L{\LB{}\Tab{16}{\K{DEFAULT} \-1,}}
\L{\LB{}}
\L{\LB{}\Tab{8}{    hot\-spot\-y[3]}}
\L{\LB{}\Tab{16}{\K{IMPLICIT} \K{INTEGER}}}
\L{\LB{}\Tab{16}{\K{DEFAULT} \-1,}}
\L{\LB{}}
\L{\LB{}\Tab{8}{    data[4]}}
\L{\LB{}\Tab{16}{\K{IMPLICIT} \K{OCTET} \K{STRING}}}
\L{\LB{}\Tab{8}{\}}}
\L{\LB{}}
\L{\LB{\K{END}}}