// Named addresses do not need to be declared nor can they be declared in Move
// source.
address Addr;