toy function that calls a so-called library, which is just a file with two functions