anchor.diff:  		maco))
   	  
   	    (unfold-body (symbol2expr ol) d)
  -	    
  -	  ))))
  +	  )))
   
   (defmacro defoverloaded (fcn-name)
     (let ((s (symbol2expr (symbol-combine (expr2symbol fcn-name) (quote -info)))))
  
positive.code: (overload + symbol-combine)
  
  (overload + string-concat)
  (+ "asd" "dsa")
  
  ;(exit 0)
  ;(overload + add3i64)
  
  (defun u8+ (u8 (a u8) (b u8))
  
negative.code: 		(not (eq i cnt)))
        (let ((mem (deref (ptr+ mems i))))
  	(let ((type (member mem type)))
  
  	  (when (and (eq (fcn-arg-cnt type) (sub-expr.cnt exprs))
  		     (or (eq (cast return-type i64) 0)
  			 (eq return-type (fcn-ret-type type))))
  
  	    (let ((j (cast 0 u64))
  		  (same true)
  		  (arg-cnt (fcn-arg-cnt type))
  