universe@0: int main(int argc, char** argv) {
universe@0:   return 0;
universe@0: }
universe@0: