{
{  This procedure is called by the monitor to process an unknown
{  system request fault issued by the current task.
{
{    TMP$PROCESS_UNKNOWN_REQ_FAULT
{
