add example invocations of smac.