// Verify that a core dump does not occur
// for an invalid package name (issue 0139).
namespace test66
{
  class Test
  {
  public:
    /**
     * @see A::B:
     */
    int A();
  };
}