conflicting types