cookie_replay with funs
cookie replay with funs
user-def fun in cookie_replay; and appended funs in sdsl_converto