function Bye_Bye_Message return string;

-- DESCRIPTION :
--   A bye bye message is a logistics stamp in the form :
--   PHC worked for <user name> at <machine name> (<machine type>) on <date>.
--   The items between <> are filled in by making the appropriate system calls.