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