int ___stub_so_lib_is_not_empty (void); int ___stub_so_lib_is_not_empty (void) { return 0; }