extern "C" int rtl_printf (char *str, ...);
int main () {
  rtl_printf ("Hello World!!!");
  
  return 0;
}