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