Could we renamce the libc types to `u8_t`, etc.?