NAME
	file_name - return filename of an object

SYNOPSIS
	varargs string file_name(object ob)


DESCRIPTION
	Returns the filename of object ob or this_object(). If the
	object is a clone the name will be postpended with a '#number'.

SEE ALSO
	efun/source_file_name, efun/directory_name, efun/base_name
