Private: Naughty Stars in hot compilation!