tree 2490cd39e0419e6c56341f3f4a42f18fbe795a8e
parent 8c68c97db7f28a826ec096f4d394999df91739e3
author Gilles Peskine <Gilles.Peskine@arm.com> 1623787417 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1624380517 +0200

Annotate the choice of representation of 0 in more places

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>