// Top-level "use" are currently meaningless. The feature might be added some day use 0x1::Module; address 0x2 {}