Hot: redefining-illegals