# CONFIG_FIND_BIT_BENCHMARK is not set