fun S : store => S.(store_funcs)
     : store -> host_func