Some tinkering with the android NDK