Code Editor : verification.h