/* Debug test for number copy issues */

x : 5;
..out "x declared";

..out x;

/* Test copying a number */
y : x;
..out "y copied from x";

..out y;