control simple(int x, int y) {
      action a(inout bool aa, int ax, inout bool ay) {
        aa = false;
      }
      table t {
        key = {
          x: exact;
          y: exact;
        }
      }
      apply {
      }
    };