#include <boost/xint/integer.hpp>

int main() {
	boost::xint::integer_t<boost::xint::options::negative_modulus> should_fail;
}