Enviar var en el encabezado PHP

<?php
    $user = "batman";
    header("Location:temp.php?user=".$user);
    exit();
?>
Silly Seahorse