const encoding_getterinfo: JSJitInfo;