with Remote_Key; package Remote_Object is key_object: aliased Remote_Key.Remote_Key_Type; end Remote_Object;