const screen_setterinfo: JSJitInfo;