Code Editor : assume.h