const id_setterinfo: JSJitInfo;