pcf move semantics