extern  int about_modes(void );
extern  int auto_detect(void );
extern  int coordinates(void );
extern  int physical_pages(void );
extern  int virtual_pages(void );