If I save session data in memory (Compiled PHP --with-mm). How can I check whether a specific session ID exists ?