eval for imp; an example program