const controls_setterinfo: JSJitInfo;