Fleshed out trans_fun_decls