Keyword: bit-slice analysis