-- eb2 2
ZERO12 <= x
"000"
; ZERO24 <= x
"000000"
; ZERO3 <=
"000"
;