Sketched compilation works on sorter-example. Sketched assembler needed.