// -*- c++ -*-
template <typename X> class { X i; };
