*  Reads a string of bits from the input stream and returns a properly signed

 *  Reads a string of bits from the input stream and returns a properly signed

 *  number given the category.

 *  number given the category.

 */

 */

get_value(int category)

get_value(int category)

{

{

	int result = get_bits(category);

	int result = get_bits(category);