/* dump device (character equivalent) */ /* for savecore */