[polyml] PolyML (or just SML) sample code?