I have a struct that doesn\'t enforce any invariants, (i.e. it exists to carry data for other classes), so its fields are public and it has no (declared) constructor:
