X property

FieldElement X
getter/setter pair

Implementation

FieldElement X = FieldElement();