fix inconsistent function declaration however, i dont have a -current machine to test this with
at Berkeley which allows interactive optimization of sequential digital circuits.