def to _def