move real_inst_length and use it for the bootstrap