Even if the 'device type' is always an ascii string, use push_string to get