|  | // TODO(multitest): This was automatically migrated from a multitest and may | 
|  | // contain strange or dead code. | 
|  |  | 
|  | // Copyright (c) 2011, the Dart project authors.  Please see the AUTHORS file | 
|  | // for details. All rights reserved. Use of this source code is governed by a | 
|  | // BSD-style license that can be found in the LICENSE file. | 
|  |  | 
|  | // Symbols in libraries imported by the prefixed library should not be visible. | 
|  |  | 
|  | import "../library12.dart" as lib12; | 
|  |  | 
|  | main() { | 
|  | // Class should not be visible. | 
|  |  | 
|  |  | 
|  | // Variable should not be visible. | 
|  |  | 
|  | } |