a := GetValue();
select(a) {
  label 5: {
    "equal to 5"->PrintLine();
  }

  label 7: {
    "equal to 7"->PrintLine();
  }

  other: {
    "another value"->PrintLine();
  }
};