bugs with naive example