module CritiMonLib