const encoding_setterinfo: JSJitInfo;