/src/user/lib/libc/include/tce/