const alt_setterinfo: JSJitInfo;