// -*- font:bar;mode:c++ -*-
template <typename X> class { X i; };
