let option_name = "-propagate-top"