Shorter than the previous version using type inference.  However, to
infer type of mutable variable, why should I "variable value" ?