tmk/tool/mbed/mbed-sdk/libraries/tests/benchmarks/printf/main.cpp

#include "mbed.h"

int main() {
    printf("Hello World!");
}