In which way do those variables differ from the remaining state? Are there any invariants about their values that could be explained/checked?