let
option_name =
"-semantic-const-folding"