tf: can now compile and execute the test "$add(1,2)"