let
option_name =
"-val-show-progress"