[DESTRUCTIVE]
Assigns a new value to the image of a node by copying the contents of the memory block referred to by `*val'. The input memory block is not free'ed.
Function returns: