wip: move to BatFull* rather than BatExtra* (for random,sys,array)