BEGIN
template<typename T = int> struct F;
template<typename T, typename U> struct I;
END