# CONFIG_FAULT_INJECTION is not set