// option. This file may not be copied, modified, or distributed
// except according to those terms.
-// ignore-fast
// aux-build:xcrate_static_addresses.rs
extern crate xcrate_static_addresses;
-use other = xcrate_static_addresses;
+use xcrate_static_addresses as other;
pub fn main() {
other::verify_same(&other::global);