int to_be_interrupted(int);

int main() {
  int c = 10;
  c = to_be_interrupted(c);
  return c;
}