/* 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;
}
