Symbol: MAX_ADDR_SIZE