A toy language that compiles to HMMM