# CONFIG_I2C_ROBOTFUZZ_OSIF is not set