void libc_init(void) {
}