Added setd (set chanend destinaiton) and getcri (return chanend resource
identifier value) builtins.