int library_function();