defproc inverter (bool? i; bool! o)
{ 
  prs {
    i => o-
  }
} 

inverter inv;