test cases/unit/16 prebuilt static/main.c

#include<stdio.h>
#include<best.h>

int main(int argc, char **argv) {
    printf("%s\n", msg());
    return 0;
}