tag(E:OBJECT):STRING
/**/ L := tagged(3,"MyTag"); /**/ type(L); TAGGED("$TopLevel.MyTag") /**/ tag(L); MyTag