private class SignalInfo {
        public final String name;
        public final String setExpr;
        public final String resetExpr;