tree 5553898f9960778057630719611ec6b0b87bb422
parent 32b97d7654f5a3851388804ec3a0cbc2fde2c06f
author Davide Pesavento <davidepesa@gmail.com> 1610744766 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1610744766 -0500

Centralize/deduplicate some constants

Change-Id: I80c542abbf6d4978261c0f7e839bef2fb1fa3a91