Add: <bit-level integer coding rules>.