Links for checker-library