let option_name = "-context-valid-pointers"