* properly compiled library