SE547: JIF [19/23]

Is this OK (file:Test3.jif):

  public int{} run (int{Alice:} x) {
    return x;
  }

Is this OK (file:Test4.jif):

  public int{Alice:} run (int{} x) {
    return x;
  }