$_SESSION['a'] = null;
unset($_SESSION['a']);