set spec_i and do_inst to false by default