void os::print_jni_name_suffix_on(outputStream* st, int args_size) {

  {- -------------------------------------------
  (1) Windows 版では, 32bit の場合, _stdcall の suffix を付ける (最後に "@X"(X は引数のバイト数))
      (64bit では何も付けない)
      ---------------------------------------- -}

    #ifndef _WIN64
      st->print("@%d", args_size  * sizeof(int));
    #endif
    }