untested toplevel function evaluation