resource a()

  sem x = 1
  sem y = 0

  process p  {
    in x() -> write("hi"); forward y() ni
    V(x)
  }

  process q  {
    P(y)
    write("ok")
  }

end