liveness: work-around rust bug