Symbol: Opt_dax_type