> 1 @@s(x){x}; 1 @s "+" = fun(x, y) {@v( 2 @s "+" = fun(x, y) {@v( 2 @s(x) - @s(y) 3 @s(x) - @s(y) 3 )}; 4 )}; 4 5 5 print( 1 + 2 ); 6 print( 1 + 2 ); 6 print( @s(1 + 2) ); 7 print( @s(1 + 2) );