add Sedgewick's libs