Simple example of extensions in control annotations.