#define FRSH_ERR_CONTRACT_TYPE_NOT_COMPATIBLE 0x02004025
#define FRSH_ERR_CAPACITY_NOT_DECREASING 0x02004026
#define FRSH_ERR_CONTRACT_LABEL_UNKNOWN 0x02004027
+#define FRSH_ERR_OUT_OF_BUDGET 0x02004028
+#define FRSH_ERR_ALREADY_IN_FRSH 0x02004029
-#define FRSH_ERR_LAST_VALUE 0x02004028
+#define FRSH_ERR_LAST_VALUE 0x02004030
#define ERROR(nn,ss) do {if(nn>FRSH_ERR_BASE_VALUE) my_frsh_strerror(nn, ss); else perror(ss); exit (nn);} while (0)