Code Editor : verify.mod