extern int dosomething(int);

int main(void) {
  return dosomething(10);
}