const onmousedown_setterinfo: JSJitInfo;