[PATCH 0/2] ada_encode rewrites

[Tom Tromey]

I found a couple of minor things in ada_encode that I wanted to
change, and this short series is the result.

Tested on x8x-6 Fedora 32.

Tom