through letrec and up to midway through call case of compile_val