working on terminatino of readback
	modified:   TypedValues.agda