addmkoption
void addmkoption(const char *name, const char *value);
WORD '=' value { addmkoption($1, $3); }
(void)addmkoption(intern("PROF"), "-pg");