int main ( );
char *atbash_encrypt ( char *plain );
void atbash_test01 ( );
void atbash_test02 ( );
void timestamp ( );