Symbol: Opt_defcontext