#include <time.h>

int icpu_time_() 
{
  return (int)clock();
}