One simple way is to create a string with the sprintf command and then pass the string to the system command which will run that string in the Unix terminal from which virtuoso was invoked.
system(sprintf(nil "echo VALUE=%d" a+b))
Note that %d will only handle integers, you'll need %f for floats.
Derek