#include <stdio.h>

void fat32_init(void);

int main(void) {
    printf("Hello, world!\n");
    fat32_init();
    return 0;
}