Functional library installed