void Init_ASPI(void);
void Get_HAs(void);
void check_devices(char);
void do_format(int,int);
void write_partition(int,int);
void quick_scan(void);