#x:global-type-name  #.name  = default(#x:global-type-name);