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