void initializeBucketList ( Int f // The index of the front to operate on ) { // NOTE: tested by SPQR/Tcov, but not flagged as such in cov results BucketList *dlbl = (&bucketLists[f]); if(dlbl->useFlag) dlbl->Initialize(); }