The variable annotations are used at runtime to define the fields. They aren't type checked.