small step - call by value - without gcall's
small step interpreter with call by value is done