/* * XXXfvdl change this (after bootstrap) to take # of bits from * config info into account. */