int libfun(void);

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