require libc types