(run_funs): New fun.