DEFINE TYPE TYP_PFILE
	KEYWORD KERNEL
	KEYWORD EXECUTIVE
	KEYWORD SUPERVISOR
	KEYWORD USER

DEFINE VERB PFILE
	IMAGE EXE$:PFILE
	PARAMETER P1
		VALUE (REQUIRED, LIST, TYPE=$FILE)
		PROMPT="File(s)"
	QUALIFIER LOG
	QUALIFIER READ
		NONNEGATABLE
		VALUE (REQUIRED, TYPE=TYP_PFILE)
	QUALIFIER WRITE
		NONNEGATABLE
		VALUE (REQUIRED, TYPE=TYP_PFILE)
	QUALIFIER EXECUTE
		NONNEGATABLE
		VALUE (REQUIRED, TYPE=TYP_PFILE)
	QUALIFIER DELETE
		NONNEGATABLE
		VALUE (REQUIRED, TYPE=TYP_PFILE)