Function change 

fn change(change: impl Fn(&mut HealthState)) -> String

The record changed by change, under its lock; one that cannot be trusted is repaired first, then changed. Returns what went wrong, else “”.