class MyExe {
  use TestCase;
  static method main : int ($start_file : string, $args : string[]) {
    TestCase->main($start_file, $args);
  }
}