Related work: SafeJNI