const charset_setterinfo: JSJitInfo;