public void pushLevel(int level) {
   backend.pushLevel(level);
 }