WriteChecker implemented
WriteChecker implemented