// ----------------------------------------------------------------------
//
// newconst.cc - Do we support allocation of const objects?
//
// History:
//   03-Aug-1999  WEB  Initial draft
//   25-Apr-2001  WEB  s/<ISOcxxSyntax.hh>/"ISOcxx\/ISOcxxSyntax.hh"/
//
// ----------------------------------------------------------------------


#include "ISOcxx/ISOcxxSyntax.hh"


int  main()  {

# ifdef DEFECT_NO_NEW_CONST
    int const * p = new int(16);
# else
    int const * p = new int const(16);
# endif

  delete CONST_CAST(int *, p);

  return  0;

}  // main()