support non-javascript-friendly identifiers