# Initialize a location corresponding to an opaque file.
	#
	# The path is used as is and is not open nor read.
	init opaque_file(path: String)
	do
		var source = new SourceFile.from_string(path, "")
		init(source, 0, 0, 0, 0)
	end