Symbol: ADDR_CROSSES_SCALE_BOUNDARY