#include "mbed.h"

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