public void AddDataDef (DataDef datadef)
{
if (data_table [datadef.Name] != null)
Report.Error ("Duplicate global label '" + datadef.Name + "'");
data_table [datadef.Name] = datadef;
}