DEFINE VERB MODULA
IMAGE MODULA
    PARAMETER P1,LABEL=FILESPEC,PROMPT="File",VALUE(REQUIRED,TYPE=$INFILE)
    QUALIFIER CHECK,DEFAULT
    QUALIFIER CROSS_REFERENCE
    QUALIFIER DEBUG
    QUALIFIER LIST,VALUE(TYPE=$OUTFILE)
    QUALIFIER TERMINAL,LABEL=LOG
    QUALIFIER MACHINE_CODE
    QUALIFIER OBJECT,DEFAULT,VALUE(TYPE=$OUTFILE)
    QUALIFIER QUERY
    QUALIFIER SYMBOL_FILE,DEFAULT,VALUE(TYPE=$OUTFILE),LABEL=SYMFILE