ctr mode assert