CHECKER-LIBRARY
