struct Foo {
	int x;
};

CONSOLE_APP_MAIN
{
	Tuple2<int, Foo> x;
	DDUMP(sizeof(x));
}

      x == x;

template <typename A, typename B>
struct Tuple2 :Moveable<Tuple2<A, B> >{

NTL_MOVEABLE(Tuple2<Foo, Bar>)

Vector<Tuple2<Foo, Bar> >

Array<Tuple<Foo, Bar> > arr;
arr.Add(new Tuple2(foo, bar));

NAMESPACE_UPP

//this would be best, but
//compile ERROR, preprocessor does misunderstand ','
#if 1
NTL_MOVEABLE(Tuple2<Point, Size>);
#endif

//compile ERROR anyway
#if 0
NTL_MOVEABLE((Tuple2<Point, Size>));
#endif

//this DOES compile
#if 0
typedef Tuple2<Point, Size> BLAA;
NTL_MOVEABLE(BLAA);
#endif

//BOTH compile (got MSC9 and TDMGCC)
#if 0
inline void AssertMoveable0(Tuple2<Point, Size> *) {}
#elif 0
template<> inline void AssertMoveable<Tuple2<Point, Size> >(Tuple2<Point, Size> *) {};
#endif

END_UPP_NAMESPACE

....
//cpp


	Vector<Tuple2<Point, Size> > vv;
	
	Tuple2<Point, Size>& tps = vv.Add();
	tps.a.x = 100;
	tps.b.cx = 100;

//V1
#if 0
#define TUPLE2_MOVEABLE(T1, T2) \
typedef Tuple2<T1,T2> COMBINE3(TD_,T1,T2); \
NTL_MOVEABLE(COMBINE3(TD_,T1,T2)); \

#endif

//V2
#if 1

#define TUPLE2_MOVEABLE(T1, T2, salt) \
typedef Tuple2<T1,T2> TD_salt; \
NTL_MOVEABLE(TD_salt); \

#endif


//V1
#if 0
TUPLE2_MOVEABLE(Point, Size);
#endif

//V2
#if 1
TUPLE2_MOVEABLE(Point, Size, 123);
#endif

//this enables Vector<Tuple2<Point, Size> > to be used

template <typename A, typename B>
struct Tuple2 : PossiblyMoveable<Tuple2<A,B>,A,B>{
    ... 
}

	static Tuple2<int, const char *> data[] = {
		{ 1, "Kvuli" },
		{ 2, "Tomuhle" },
	};