JSON can encode any Javascript-legal value, including $ . _ unicode characters, NUL, etc