added some sleek examples, smt2 version to follow