# CONFIG_TEST_PRINTF is not set