incomplete name change: aux -> auxbig, now finished