Examples for OpenSym