Subset of standard C/POSIX header files
for use by VX codelets.