hex and unicode sequences are back to PEG.js format