const marginRight_getterinfo: JSJitInfo;