TinyWM Implementation in Racket