Constant RELAX 

const RELAX: Ordering;