the sid::pin interface

          void driven(host_int_4 value);
    

The only operation one can perform on a pin is to drive a value to it; this may or may not have any effect, but it cannot fail.