ArnoldC examples