| library; | 
 | import self as self; | 
 | import "main_lib.dart" as mai; | 
 |  | 
 | import "org-dartlang-testcase:///main_lib.dart"; | 
 |  | 
 | class GalleryApp extends mai::StatefulWidget /*hasConstConstructor*/  { | 
 |   const constructor •({mai::Key? key = null}) → self::GalleryApp | 
 |     : super mai::StatefulWidget::•(key: key) | 
 |     ; | 
 | } | 
 | static method main() → dynamic | 
 |   ; | 
 |  | 
 | library; | 
 | import self as mai; | 
 | import "dart:core" as core; | 
 |  | 
 | class Key extends core::Object { | 
 |   synthetic constructor •() → mai::Key | 
 |     ; | 
 | } | 
 | class StatefulWidget extends core::Object /*hasConstConstructor*/  { | 
 |   final field mai::Key? key; | 
 |   const constructor •({mai::Key? key = null}) → mai::StatefulWidget | 
 |     : mai::StatefulWidget::key = key, super core::Object::•() | 
 |     ; | 
 | } |