resolved instructions