VAT-to-PAPI: LISPUtil