This patch also unconditionalizes uos.dupterm(), though exact interface and semantics is yet to be defined.
