Shen KLambda to KLVM translator.