const marginRight_setterinfo: JSJitInfo;