/* how dump device was specified */