Just a very trivial example regarding a session in PHP.