Navier integration is language in extension:

C to C*

[0]:https://news.ycombinator.com/item?id=49612191