added checkers src from 6.813 docs