Simplified example for #43