BINT

Definition of BINT