let bold_green t =  color "1;32" t