I guess I found what I was asking about, i.e. NDK: <a href="http:&#x2F;&#x2F;developer.android.com&#x2F;ndk&#x2F;index.html" rel="nofollow">http:&#x2F;&#x2F;developer.android.com&#x2F;ndk&#x2F;index.html</a>