#include
#include “unrandomize.h”
int main(int argc, char **argv) {
unrandomize(argc, argv);
char name[4096];
printf(“Welcome! Please tell me who you are: “);
gets(name);
printf(“Delighted to meet you, %s!\n”, name);
return 0;
}