NAME
	destruct - destruct an object

SYNOPSIS
	void destruct(object ob)

DESCRIPTION
	This function destroys the indicated object.

SEE ALSO
	clone_object
