En OSI, un fitxer de sortida produït pel corrector de sintaxi abstracte que Mostra els noms de les PDVs en el mòdul d'entrada i les estructures de dades que comprise them.