New option "set print symbol-loading".