L'inventario di pragma è attualmente privato.