Loading the verified Pump instruction boundary…