@@ -1,7 +1,7 @@
 @@s(x){x};
-@s "+" = fun(x, y) {@v(
+@s "+" = fun(x, y) {@value(
 	@s(x) - @s(y)
 )};
 
 print( 1 + 2 );
 print( @s(1 + 2) );