  VAR
    nav$unique_directory_identifier: [XREF] integer;
