代码

#include <stdio.h>
double plus(double a,double b){ return a+b; }
__attribute__((destructor)) static void d(){
    printf("MARKER-ALPHA-0123456789\n");
    fflush(stdout);
}

评测结果