rename def_fun -> def_fn