/**
* Deallocate an object, putting it back into the pool.
*
+ * @param 't* ONE newVal'
* @return SUCCESS if the entry was put in successfully, FAIL
* if the pool is full.
*/
/**
* Allocate an element from the pool.
*
- * @return A pointer if the pool is not empty, NULL if
+ * @return 't* ONE_NOK' A pointer if the pool is not empty, NULL if
* the pool is empty.
*/
command t* get();