/* everything for 1st time run */ void init(void) { rdata(); /* read data from orig. file */ linkdata(); poof(); }
void init() /* everything for 1st time run */ { rdata(); /* read data from orig. file */ linkdata(); poof(); }
void init(char* command) /* everything for 1st time run */ /* command we were called with */ { rdata(); /* read data from orig. file */ linkdata(); poof(); prht(); snd_msg="\nInitialization completed.\n"; write(new_fd,snd_msg,strlen(snd_msg));//printf("Initialization succeeded\n"); }
int main() { // CHECK: failed external call: poof poof(); return 0; }