PREFIX

	outputs the current file prefix, or [] if there is no prefix.
	See SETPREFIX.