puts "DEBUG: helloworld.test3/lib/lib.exp is being executed"