import lib_1.lib_1; int main() { int x = 1; int y = lib_1_func( x ); assert( y == x + 1 ); return 0; }