tree 7fc006b38b95f07071f1603e3ef2ed9ea50be8b3
parent 17d7d8a8521d0d29b66c07b4ca4f9445aee1f07b
author Alon Zakai <alonzakai@gmail.com> 1435189437 -0700
committer Alon Zakai <alonzakai@gmail.com> 1435189437 -0700

ensure globals have names, as we rely on names for address lookups