let
bold_red t = color
"1;31"
t