added prefix:<P5~> for bitwise negation