Hoare's CSP port to PHP.