extern int external(void);

int main(void)
{
  return external();
}