<> <> <> <> <<>> BitHacks: CEDAR DEFINITIONS = BEGIN <> ODD: PROC [i: INT] RETURNS [BOOL]; EVEN: PROC [i: INT] RETURNS [BOOL]; <> Log2: PROC [n: INT] RETURNS [INT]; -- Floor of Log2 NBits: PROC [n: INT] RETURNS [INT]; TwoToThe: PROC [x: INT] RETURNS [INT]; TwoToTheLog2: PROC [n: INT] RETURNS [INT]; <<>> <> XthBitOfN: PROC [x, n: INT] RETURNS [BOOL]; <> <> END.