got rid of the (configured bitwidth) and (configure [bitwidth n]) syntax; use (current-bitwidth) or (current-bitwidth n) instead