even though vxworks 6.3 assumes (void *)==(int32_t)==(int), lets try to avoid that ourselves.