L'inventario di Awk! è attualmente privato.