Code for BinarySemantic