}
| string CHARACTER
{
strcpy($$, $1);
int len;
$$[strlen($$) + 1] = '\0';
$$[strlen($$)] = $2;
strncpy2($$, $1, sizeof($$));
len = strlen($$);
if (len + 1 < sizeof($$)) {
$$[len + 1] = '\0';
$$[len] = $2;
$$[sizeof($$) - 1] = '\0';
};
special: