let d_cnstrnt c = c