# Functions
Keccak256 cryptographic function TODO: externalize the same way as the file resolver.
# Constants
SCAddressNumLeadingZeros is the number of zero bytes every smart contract address begins with.
SCAddressReservedPrefixLength is the number of zero bytes every smart contract address begins with.
# Structs
ExprInterpreter provides context for computing scenario values.