double d1mach ( int i );
int i1mach ( int i );
float r1mach ( int i );
void timestamp ( void );