{Define index to AST - table used for managing ASIDs.

  TYPE
    mmt$ast_index = 0 .. 0ffff(16);
