sax-machine renamed to lazy-sax-machine