session_start();
if (!isset($_SESSION['rol']) || $_SESSION['rol'] !== 'usuario') {
  header("Location: index.php");
  exit;
}