pub type Constraints = Measurement<u64>;
enum Constraints { Exact(u64), Range(u64, u64), UpperBound(u64), }