Debugging the Android implementation