const onmouseup_setterinfo: JSJitInfo;