Writing an interpreter, CESK-style