extern lnat total_prof_ticks;
extern void initProfTimer(nat ms);
extern void stopProfTimer(void);
extern void startProfTimer(void);
extern lnat total_prof_ticks;
extern void initProfTimer(nat ms);
extern void stopProfTimer(void);
extern void startProfTimer(void);