* No threads must be ever attached to the contract identified by
* spare_id.
**/
-int frsh_feedback_set_spare(frsh_vres_id_t spare_id);
+int frsh_feedback_set_spare(const frsh_contract_t *spare_contract);
/**
* frsh_feedback_get_spare()
*
* Get version of the frsh_feedback_set_spare() function.
**/
-int frsh_feedback_get_spare(frsh_vres_id_t *p_spare_id);
+int frsh_feedback_get_spare(frsh_contract_t *spare_contract);
/**
* frsh_feedback_set_desired_budget()