#include "mbed.h"

LocalFileSystem local("local");
			// Create the local filesystem under the name "local"

int main() {
    FILE *fp = fopen("/local/out.txt", "w");
			// Open "out.txt" on the local file system for writing
    fprintf(fp, "Hello World!");
    fclose(fp);
}