See my earlier comment about `inline` - I think we should keep it.