1#! /bin/sh
2
3poly --eval "PolyML.SaveState.loadState(\"smltex.dump\");"
4