def safe_extra(extra):
return re.sub('<STR_LIT>', '<STR_LIT:_>', extra).lower()<EOL>
Convert an arbitrary string to a standard 'extra' name

    Any runs of non-alphanumeric characters are replaced with a single '_',
    and the result is always lowercased.