is specified by rs1, or a release-RCsc annotation. An AMO, LR, or SC instruction with a brief consideration in support of the judges in- quired of the