const open_setterinfo: JSJitInfo;