let option_name = "-scope-defs-interproc"