template<typename T> 
struct default_ {
  // types
  typedef default_ type;      
  typedef T        value_type;

  // public member functions
  operator T const &() const;
  static T const value;
};