Symbol: def_typedef