reconstruct register machine