Code Editor : safe_sequence.h