What will be the output of the program?

#include <stdio.h>
#include <string.h>

int main(void) {
    char a[20] = "abc";
    char b[] = "xyz";
    strcpy(a, b);
    printf("%s\n", a);
    return 0;
}