pc++ / printf problem

a student of us found the following problem:
he has the following lines in his test.pc in Processor_Main:

  unsigned long i;

  printf ("i = %d\n");

pc++ generates the following printf function for this:

  int  pcxx_printf17(char *pCar_0,  pCar_1){
      if ((pcxx_NodeNumber() == 0) || pcxx_inpar)
         printf(pCar_0, pCar_1);
       return 1;

NOTE the missing type for pCar_1 (which results in a C++ error).
It works if "i" is declared "int", but not if declared "long",
"unsigned", or "unsigned long".


Bernd Mohr   --   mohr@cs.uoregon.edu   --  http://www.cs.uoregon.edu/~mohr

Sometimes I think the surest sign that intelligent life exists elsewhere in
the universe is that none of it has tried to contact us.          -- Calvin