# CONFIG_FAIL_FUNCTION is not set