with_lib