let bold_red t =  color "1;31" t