#include <Arduino.h>

void main01(void);
extern "C" {
    void main_a (int argc, char *argv[]);
}

void setup() {
    Serial.begin(115200);
    Serial.setTimeout(10000);
}

void loop() {
    int in_char01;

    // シリアルポートより1文字読み込む
    in_char01 = Serial.read();

    if(in_char01 != -1 ){
        // 読み込んだデータが -1 以外の場合　以下の処理を行う

        switch(in_char01){
            case 's':

                main01();
                break;
        }
    } else {
      // 読み込むデータが無い場合は何もしない
    }

    delay(100);
}

char *argv_array01[2];
char argv_str00[] = "dhrystone";
char argv_str01_1[] = "30000000";
void main01(void) {
    argv_array01[0] = argv_str00;
    argv_array01[1] = argv_str01_1;
    Serial.print("Dhrystone ");
    Serial.print(argv_str01_1);
    Serial.println(" LOOP Start");
    main_a(2, argv_array01);

    Serial.println();
}