const name_setterinfo: JSJitInfo;