extern int external(void);
int use_external(void)
{
  return external();
}