GameLoop  Efficient Android gaming emulator