examples
removed examples not handled by swicplint