/* This stuff was broken off as part of an effort to get the main program
* to compile without running out of memory. We're called with a number
/* This stuff was broken off as part of an effort to get the main program
* to compile without running out of memory. We're called with a number