several standard checkers implementations