LABEL: {
...

 redo LABEL;
}