SummableScalable sumScale(SummableScalable a, SummableScalable b, int c) {
    return c*(a + b);
  }