main module copyflex use TEXTIO declare f is packed array[1..?n] of char pf is pointer f a: static pf b: static pf enddeclare a := allocate pf (n: 3) b := allocate pf (n: 5) b@ := a@ endmodule