tpt++: print returned values; implicit return in console; console source