config-vxworks.h #1