Re: [PPL-devel] New deterministic timeout facilities of the PPL and PWL