extern int imp_lib1(void);

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