Default field values, fixed #6.

Mutable fields are initialized on access.