almost working instance of red-alloy