appendmkoption
void appendmkoption(const char *, const char *);
| mkvarname PLUSEQ value { appendmkoption($1, $3); }