procedure calls for LET and minor refactor for c-machine