Adding optional prefix `synchronized` is not necessary, because it is always parsed as `AttributeSpecifier` (in attribute.dd).