let descr = "select the result of left-values v1,...,vn at the end of the function given as entry point (addresses are evaluated at the beginning of the function given as entry point)"