It may be something like this
case: XXX {
}