const cursor_setterinfo: JSJitInfo;