'a'v.
[a]i.
'b'v.
[b]i.
|8|f([a]='0')
|8|f([b]='0')
|1|p.
.x.
|0|p.
.x.
