src/docs/developing_xhpast.diviner