Decompiled source of BeltSpeedEnhancement v1.0.0