HotDec/Extensions