external EX06 "./ex06.so"
 
begin
  names = (/"Tim","Dorothy","Bob","Heidi","Karen","Jeff","Rob"/)
  EX06::print_names(names)
  print("The following should have been echoed above:")
  echo_off()
  print("names = '" + names + "'")
end