toplevel interpreter interface