implemented not procedure and n-round-* procedure in (cipher *) library