DEFINITION MODULE LONGLONGINT; (* Alias type for 128-bit Signed Integer Numbers *) IMPORT INT128; TYPE LONGLONGINT = ALIAS OF INT128; (* alias *) END LONGLONGINT.