const name_getterinfo: JSJitInfo;