main() {
    strcpy(a,
    "abcd");
    strcat(a,
    "\015");
    printf("%s", a);