#include <upc.h>
#include <stdio.h>
#include "bug2740.h"

int main(void) {
  puts("Done\n");
  return 0;
}