#include <iostream>
#include "systemc"
int sc_main(int argc, char* argv[]) {
printf("Success!\n");
return 0;
}