[org.ibex.mail.git] / upstream / org.ibex.core / upstream / org.ibex.nestedvm / src / tests / Simple.c

#include <string.h>

char *a = "bar";

volatile char buf[] = "Hello World";

int _start() {
    return strlen("foo");
}