[binary-digit] 0 1 pragma initial-rule [binary-digit]