Make identifiers javascript safe (most of the time)