def to val