Constant dd_COPYRIGHT 

pub const dd_COPYRIGHT: &[u8; 48] = b"Copyright (C) Komei Fukuda, fukuda@math.ethz.ch\0";