static volatile S caseID_caseID;

static S caseID() { ret caseID_caseID; }

static void caseID(S id) {
  caseID_caseID = id;
}