let
option_name =
"-semantic-const-fold"