config-types fix-warnings use-txr-allocator add-mp-set-intptr export-mp-eq add-mp-hash add-mpi-toradix-with-case fix-mult-bug