const marginInline_getterinfo: JSJitInfo;