#include <mpl.h>
#include <mp_libc.h>
#include <stdio.h>
#include <math.h>

       void dpuTimerStart();
       unsigned long dpuTimerTicks();
       double dpuTimerConst();

main() {
  plural int i;
 
  dpuTimerStart();

  if(iproc < 10) 
  {
    printf("PE: ");
    p_printf("%4d ",iproc);
    printf("\n");
  } 

  printf("DPU cycles: %d\n", dpuTimerTicks());
  printf("DPU time:   %f\n", (float)dpuTimerTicks() * (float)dpuTimerConst());
}


