int x(int y) {
  return y * 7;
}