use requires_eq macro