const marginLeft_getterinfo: JSJitInfo;