DEFINITION MODULE LONGLONGCARD; (* Alias type for 128-bit Unsigned Integer Numbers *) IMPORT CARD128; TYPE LONGLONGCARD = ALIAS OF CARD128; (* alias *) END LONGLONGCARD.