Code Editor : aliased_buffer.h