struct signed_tag {};
struct unsigned_tag {};
template<typename T>
struct checker_traits {
	typedef typename signed_tag tag;
	typedef typename unsigned_tag tag;
};