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