a = abstract_typedef2.A_UF();