PanLinx: double-rail logic