1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
# PRE: case-empty # update reply { Filter-Id := "fail" } switch &reply:Filter-Id { # deliberately empty case "filter" { } case &Not-Dynamically-Allocated { # ERROR update reply { Filter-Id := "fail" } } case { } }