JSON::to_json( ["\x{00e9}"], { 'ascii' => 1 } )