// A simple macro call example. Should yeild 2X + Y.

macro
read XY {
    X := hd XY;
    Y := tl XY;
    Z := <add> cons X Y;
    Z := <add> cons X Z 
} write Z