L'inventario di void( ) è attualmente privato.