Pull in the debug information...


 #include <sys/types.h>
 #include <sys/time.h>

 /* fix compilation with gcc */
 #define uint8_t	__junk

 #include <sys/fs/vx_machdep.h>
 #include <sys/fs/vx_gemini.h>
 #include <sys/fs/vx_param.h>
 #include <sys/fs/vx_layout.h>

 main()
 {
 }