map_cast_from_hex() does not produce error messages