int bicycle_lock ( int c );
int get_seed ( );
int i4_power ( int i, int j );
int i4_uniform_ab ( int a, int b, int *seed );
void timestamp ( );