Make state mutable; it'll be non-shared anyway