UINT32_C          128 src/dps8/dps8_mgp.c   h *= UINT32_C(0xed5ad4bb);
UINT32_C          130 src/dps8/dps8_mgp.c   h *= UINT32_C(0xac4c1b51);
UINT32_C          132 src/dps8/dps8_mgp.c   h *= UINT32_C(0x31848bab);
UINT32_C         4155 src/dps8/dps8_sys.c   h *= UINT32_C(0xed5ad4bb);
UINT32_C         4157 src/dps8/dps8_sys.c   h *= UINT32_C(0xac4c1b51);
UINT32_C         4159 src/dps8/dps8_sys.c   h *= UINT32_C(0x31848bab);
UINT32_C           62 src/dps8/utfile.c   h *= UINT32_C(0xed5ad4bb);
UINT32_C           64 src/dps8/utfile.c   h *= UINT32_C(0xac4c1b51);
UINT32_C           66 src/dps8/utfile.c   h *= UINT32_C(0x31848bab);
UINT32_C          774 src/simh/sim_tmxr.c   h *= UINT32_C(0xed5ad4bb);
UINT32_C          776 src/simh/sim_tmxr.c   h *= UINT32_C(0xac4c1b51);
UINT32_C          778 src/simh/sim_tmxr.c   h *= UINT32_C(0x31848bab);