static S caseID_caseID;

static S caseID() { ret caseID_caseID; }