/* add string to a menu file */
menufadd(s, menu, separator)
{
        _menufadd(s, menu, separator);
}