<address> for semantics