Correct codegen for bitstring complements