extern int ExternalLibrary(void);
int main(void)
{
  return (ExternalLibrary() + 1);
}