1 tablespoon salt
1 pound fresh green beans (trimmed, topped and tailed)
2 tablespoons walnut or hazelnut oil
  Sea salt (to taste)
  freshly ground pepper (to taste)
1/4 cup chopped toasted walnuts or hazelnuts (optional)