Use name provided to emit_function_decl().