Gadgets moved from the original EC to varEC and improved