PHP: simple use of session

contato.php

<?php session_start(); ?>
<form action="/manda-email.php">
<textarea name="texto">Gostaria de fazer um orçamento para os seguintes produtos:

<?php
  if (isset($_SESSION['produtos'])) {
    echo implode("\n", $_SESSION['produtos']);
  }
?></textarea></form>

processa.php

<?php

session_start();

if (isset($_GET['produto']) && (int) $_GET['produto']) {
  if (!isset($_SESSION['produtos'])) {
    $_SESSION['produtos'] = array();
  }
  $_SESSION['produtos'][] = funcao_que_vai_processar_o_id_do_produto_e_convertelo_em_algo_descritivo($_GET['produto']);
  header('Location: /contato.php'); // este eh o redirect
}