{    The purpose of this request is to translate a binary mainframe identifier
{ to a universally unique timesharing title used to represent a given
{ mainframe.  The value returned is a string and not a valid SCL name, which
{ makes the title a non-configurable value.  This prohibits users from doing a
{ CREATE_CONNECTION using this title.
{
{       JMP$GENERATE_TIMESHARING_TITLE (BINARY_MAINFRAME_ID,
{             TIMESHARING_TITLE);
{
{ BINARY_MAINFRAME_ID: (input)  This is the binary mainframe identifier of the
{       mainframe whose timesharing title is of interest.
{
{ TIMESHARING_TITLE: (output)  This is the timesharing title for the requested
{       mainframe.
