Symbol: Opt_crush_location