namespace Martin
{
  public class Foo[T]
  { }
}

namespace Baulig
{
  using M = Martin;

  class X
  {
    static Main () :  void
    {
      mutable  _foo = Nemerle.Extensions.DefaultValue (M.Foo[int]); ()
    }
  }
}
/*
BEGIN-OUTPUT
END-OUTPUT
*/