const event_setterinfo: JSJitInfo;