[PATCH 4/4] jscript: Support replacer argument in JSON.stringify.