device_format
{ "format", "[blocksize [immediate]]", device_format },
static void device_format(int, char *[]);