puts "DEBUG: lib/default.exp is being loaded"