/************
 * Various utility routines. 
 *
 ********/
#ifndef UTIL
#define UTIL

int doubleIt(int x);
int halfIt(int x);

#endif