const marginInline_setterinfo: JSJitInfo;