extern int innerlib(void);
int main() { return innerlib(); }