define type device_types
	keyword null, nonnegatable, default
	keyword apple_laserwriter, nonnegatable
	keyword ln3r, nonnegatable
	keyword tek4014, nonnegatable
	keyword ps300, nonnegatable
	keyword ps400, nonnegatable
	keyword ps600, nonnegatable
	keyword ps1200, nonnegatable
	keyword imagen, nonnegatable

define type trace_options
	keyword all
	keyword pixel, negatable
	keyword font, negatable
	keyword char, negatable
	keyword raster, negatable
	keyword dvi, negatable
	keyword driver, negatable
	keyword paste, negatable
	keyword special, negatable
	keyword options, negatable

define type pixel_source_options
	keyword pxl, nonnegatable
	keyword pk, nonnegatable, default
	keyword gf, nonnegatable

define verb dviout
	image dviout
	parameter p1,prompt="File(s)",value(required,list,type=$file)
	qualifier magnification,placement=positional,nonnegatable,default,
			value(default=1000)
	qualifier hoffset,placement=positional,nonnegatable,default,
			value(default=1in)
	qualifier voffset,placement=positional,nonnegatable,default,
			value(default=1in)
	qualifier output,placement=positional,nonnegatable,
			value(type=$file,required)
	qualifier options,placement=positional,nonnegatable,
			value(type=$file,required)
	qualifier pages,placement=local,nonnegatable,
			value(list,required)
	qualifier device,placement=positional,nonnegatable,default
			value(type=device_types)
	qualifier copies,placement=positional,nonnegatable,default,
			value(type=$number,default=1)
	qualifier memory,placement=positional,nonnegatable,
			value(type=$number,required)
	qualifier trace,placement=positional,nonnegatable,
			value(list,type=trace_options)
	qualifier pixel_source,placement=positional,nonnegatable,default,
			value(type=pixel_source_options)
	qualifier mark,placement=positional,negatable,value
	qualifier mkfont,placement=positional,nonnegatable,default,
			value(default=cmss17)
	qualifier mkscale,placement=positional,nonnegatable,default,
			value(default=mag2)
	qualifier interactive,placement=positional,negatable
	qualifier usetfm,placement=positional,negatable,default
	qualifier landscape,placement=positional,negatable
	qualifier odd_pages,placement=positional,negatable
	qualifier even_pages,placement=positional,negatable
	qualifier two_sided,placement=positional,negatable
	qualifier form,placement=positional,nonnegatable,value(required)
	qualifier concatenate,placement=positional,negatable
	qualifier reverse,placement=positional,negatable
	qualifier exclude,placement=positional,negatable
	qualifier delete,placement=positional,negatable
	qualifier sorted,placement=positional,negatable
	qualifier preview,placement=positional,negatable
	qualifier color,placement=positional,negatable
	qualifier preserve,placement=positional,negatable