/* device name for printf */