Small example that works