Variable declarations and mutability