else if (A.isLetRecExp(exp)) {
        var letRecFn = A.getLetRecExp(exp);
        var letRecArgs = A.getLetRecExpArgs(exp);
        var dummyClo = evalExp(letRecFn, envir);
        var args = evalExp(letRecArgs, E.update(envir, E.getCloParams(dummyClo), E.getCloBody(dummyClo)));
        var argsCloEnv = E.getCloEnv(args);
        var cloParams = E.getCloParams(dummyClo)[0];
        E.lookupReference(argsCloEnv, cloParams)[0] = args;
        return callByValue(E.getCloBody(dummyClo), E.getCloEnv(args));
    }