const marginLeft_setterinfo: JSJitInfo;