/* armro.h
Only for ARM RISC-OS machines
by N. Douglas
15-05-1997
*/

extern void _initnicetime(void);

extern int nicetime;

extern void _endnicetime(void);
