a repo to test some eliom session characteristic