#binary-assertion