*** clisp-2000-03-06/src/lispbibl.d.bak	Tue Apr  4 00:33:23 2000
--- clisp-2000-03-06/src/lispbibl.d	Mon Apr  3 16:28:00 2000
***************
*** 3223,3231 ****
      #undef addressbus_mask
      #define addressbus_mask  0xE0FFFFFFUL
    #elif defined(DECALPHA) && defined(UNIX_OSF)
!     # Durchs Memory-Mapping sind jetzt die Bits 37..33 einer Adresse redundant.
      #undef addressbus_mask
!     #define addressbus_mask  0xFFFFFFC1FFFFFFFFUL
    #elif !defined(WIDE_SOFT)
      # Durchs Memory-Mapping sind jetzt die Bits 31..24 einer Adresse redundant.
      #undef addressbus_mask
--- 3223,3231 ----
      #undef addressbus_mask
      #define addressbus_mask  0xE0FFFFFFUL
    #elif defined(DECALPHA) && defined(UNIX_OSF)
!     # Durchs Memory-Mapping sind jetzt die Bits 39..33 einer Adresse redundant.
      #undef addressbus_mask
!     #define addressbus_mask  0xFFFFFF01FFFFFFFFUL
    #elif !defined(WIDE_SOFT)
      # Durchs Memory-Mapping sind jetzt die Bits 31..24 einer Adresse redundant.
      #undef addressbus_mask