[ InfixPrintPA x n;
  for (n=#lowest_routine_number:n<=#highest_routine_number:n++)
  {   if (x == Symb__Tab(INFIXTT_ROUTINE, n))
      {   print (InfixPrintRoutine) n; return;
      }
  }
  print "Routine(", x, ")";
];