default(#x:global-type-name)