formally deprecated lua