Redefinition of field 'a'