Code Editor : seqno-fence.h