#include "libBareMetal.h" int main(void) { b_print_string("Hello world, from C!\n"); return 0; }