Is this independent of `with-lib`?