NAME
	send_message - send a message to a user

SYNOPSIS
	void send_message(string message)
	void send_message(int echo)


DESCRIPTION
	In the first form, send a message to the user associated with the
	current object.  In the second form, user input echoing will be
	turned off or on, the value of echo being zero or non-zero,
	respectively.
	When used by the driver object, send_message() will write the message
	on stderr.

SEE ALSO
	kfun/query_ip_number, kfun/this_user, kfun/users
