untested toplevel def parsing