/* For now, a dummy header file, fill in with gcc-specific items later.
   Header files from VisualDSP require that this exists.  */