//Start of junk.cc
#include "nice.h"
int main() {
  Nice::nice1();
  return 0;
}