const mode_setterinfo: JSJitInfo;