Allan Blanchard authored 1 year ago and Virgile Prevosto committed 1 year ago

- guarantee that pp code has the same semantics in such a case