unprotect X;
/**/ X := 1; /**/ protect X; --> cannot assign to X henceforth /**/ /**/ unprotect X; --> remove protection, X may be assigned to now /**/ X := 2;