public void onSurfaceCreated(GL10 gl, EGLConfig config) {
   PicoGameJNI.reload();
 }
 public void onDrawFrame(GL10 gl) {
   PicoGameJNI.step();
 }
 public void onSurfaceChanged(GL10 gl, int width, int height) {
   PicoGameJNI.init(width, height);
 }