Init: mutable vs. non-mutable parameter definition