so, what if occurrences of `TIME_UTC` are already replaced with `TIME_UTC_`? Then this will yield `TIME_UTC__`... 

Can we be more specific, or at least require a non-underscore character to follow?