demo.sml should work now