inf`printf("Goodbye from %s.\n", dyninst`function_name);
