# CONFIG_TEST_HMM is not set