UINT32_C          134 src/dps8/dps8_mgp.c   h *= UINT32_C(0xed5ad4bb);
UINT32_C          136 src/dps8/dps8_mgp.c   h *= UINT32_C(0xac4c1b51);
UINT32_C          138 src/dps8/dps8_mgp.c   h *= UINT32_C(0x31848bab);
UINT32_C         4217 src/dps8/dps8_sys.c   h *= UINT32_C(0xed5ad4bb);
UINT32_C         4219 src/dps8/dps8_sys.c   h *= UINT32_C(0xac4c1b51);
UINT32_C         4221 src/dps8/dps8_sys.c   h *= UINT32_C(0x31848bab);
UINT32_C           78 src/dps8/utfile.c   h *= UINT32_C(0xed5ad4bb);
UINT32_C           80 src/dps8/utfile.c   h *= UINT32_C(0xac4c1b51);
UINT32_C           82 src/dps8/utfile.c   h *= UINT32_C(0x31848bab);
UINT32_C          775 src/simh/sim_tmxr.c   h *= UINT32_C(0xed5ad4bb);
UINT32_C          777 src/simh/sim_tmxr.c   h *= UINT32_C(0xac4c1b51);
UINT32_C          779 src/simh/sim_tmxr.c   h *= UINT32_C(0x31848bab);