#include <iostream>
using namespace std;

template<size_t aa, size_t bb>
class C {
public:
	C() {
	    static_assert(aa > 0, "aa must be > 0");
    	static_assert(bb > 0, "bb must be > 0");
	    static_assert((aa + bb) <= 10, "aa + bb must be <= 10");
	}
};

int main() {
	C<1, 2> c1; // OK
	C<5, 6> c2; // error
	return 0;
}