The library component of literate-programming