15ebddf Add with_check

Authored and Committed by Arie 7 years ago
    Add with_check
    
        
file modified
+32 -17