CTR mode
CTR mode, faster api
move fortuna onto CTR
top.ml: require sexplib