Consider the following code: #include #include int main(void) { char destination [16] "batman"; char source [] "spiderman"; strcat (destination, source); printf("$3$ $ $", destination, source, sizeof (destination), sizeof(source)); return 0; } The program output is? batmanspiderman spiderman 16 10 spiderman spiderman 10 10 batmanspiderman spiderman 7 10 spiderman spiderman 7 10 batmanspiderman spiderman 15 9