of13_translation_utils.cc => reverse mapping of bitmap128_t values revised