add fundef printing function