# CONFIG_FAIL_FUNCTION is not set
