added google (c) info for splaytree