# Binding Constraint Related to [[Highest order bit]]