I hope you're well welcome back to my channel, or if you're new here My name is Zeppy and I will welcome you to another vlog it is actually surprisingly sunny in London and It's been snowing all of yesterday. I will show you guys now all of this beautiful snowfall So cute So it looks so cute like the Sun and the snow It honestly is such a beautiful day. It is my first day off in three days last week I was on call for five days, which I told you in my previous vlog So I am so happy to have a day off. I do feel Tired I woke up at one in the afternoon Which tends to happen these days when I have on calls the day before I'm literally So drained that I need a really long sleep to recover But it was honestly a really nice Weekend to work because a lot of my like friends who work in the hospital were also working So I could take my lunch break with them when I got a lunch break So yeah, I'm feeling really blessed and happy today and just wanted to start the day with a nice Thank you to the universe for such a wonderful day for my health for my family's health and for all of you guys who show me so much love and Support and send me so much energy. I honestly feed it and I love you all So much also so many comments when I started my video last time in this room This is my parents room and a lot of questions about where the furniture is from they imported it from Iran When we moved here into this house in about 2002 So yes, everything is from a Persian brand.  Also, sorry if I was squinting before the sun was really in my eyes So I may have just filmed a whole intro where you can see me Also, I'm gonna put the camera down to show you this softest set I've ever owned ever So obsessed it was sent to me by a pretty little thing and I need to film that All for you guys is like a lounge wear chill haul because I honestly haven't shopped much lounge wear Since like the start of the year So I just wanted to get a few cute new stuff, and I thought I'd show you guys too Good morning You look so pretty wait wait so many of us are in white this morning My tops got no back. Yeah, I saw when I walked in Very pretty Mummy you look so beautiful Where is your cardigan from? So nice, I love it. Do you like my top? Oh, very nice. I like your PJ. I love your PJ Sepi. Yeah, it's so soft That's like lounge wear Yeah, I would wear the top out to be honest Okay, I'm gonna have breakfast now these lots seem to have salami What what did you guys say for me? Nothing. We had kukui by them John eggs Different three different types of cheese. That's just this Thanks a lot now I'm gonna make myself eggs now, so I'll come sit with you guys Also, how cozy and wintery does the fireplace look right now? I absolutely love it So we hold my camera one set. This is where I film all my tiktoks By the way, like facing that way, but how wintery do I look in front of the fireplace in these pajamas? So nice to see you. I'm leaving now. I have a team's Microsoft teams meeting it too It's always fun. The house has no internet and I'm gonna go in this house. Yeah, it does but It's not great on my phone. I can't afford for it to We'll see what she does so guys look at this I am having a prosciutto Melted I don't know what even cheese this was. Let's see. It says her and cheddar cheese cherry tomato Sandwich and also having I had to wait two hours for my latte having a soya latte with one pump of sugar free caramel I Look like a joke, but here we are. Okay, let's taste test this so good I Commend up. So I've just moved to the sofa with my Latte and I'm finally on the part of the crown teaser for where Charles was meeting Diana, which is basically the whole reason why I started watching the crown because I really like Diana I went to an exhibition. I think I've logged it about two years ago After I finished my fourth year medical exams of all of her clothes. They had it at Kensington Palace And yeah, her fashion was incredible. She was an incredible person like iconic in terms of how much she did for charity work She did a lot of campaigning for People with AIDS and so yeah, I just really like her so that's why I started watching this But I'm not gonna have a couch potato day guys. I am going to have another slice of prosciutto with bread and then I'm gonna go up and film my Hall for you guys and maybe even venture out into the now melting snow which might be dangerous I don't want to fall and I will see what we do, but My point being from all this was why was I saying all this? I can't even remember my point I was making. Oh, yeah But the funny thing I want to say was every time I watch the crown I realized that the way I speak English starts to improve it starts speaking proper like Queens English not right now, but darling, you know So yeah, a lot of people think that if you go private school you speak very much Queens English But I went to private school and I don't think I speak very much Queens English I speak good English, but I wouldn't say I'm like the crown level English with the way I pronounce things But we'll see so I'm gonna do my makeup now because I want to take some pictures and I Want to film And I just feel like also when I'm stuck at home and have nothing to do putting makeup on Makes me feel like I'm doing like a normal routine So if any of you guys are stuck at home being like oh my god, I'm so bored or I feel demotivated I think if you start your day how you usually would start it let's say before all of this happened you guys would wake up early and You would go downstairs and have cereal and watch TV try and start it like that and then kind of roll with it and see how your day goes because I just think it's just You're more likely to have a productive day if you kind of continue off of your old habits or stop trying to make new Habits like good stuff that you wanted to happen in the new year positive stuff. You want to start Also, I've run out of primer I want to put an order in for skincare because guys my skin has improved so much if you watch two vlogs To go then you will know that my skin was absolutely rubbish the one where I took you to work with me my junior doctor vlog My skin was so awful and I stuck to a skincare routine Which I've been talking about since the those vlogs and literally it has changed my life Like my skin even sinuses has improved so Dramatically from just sticking to the skin care routine, which is the it's basically these They're right in front of me this multi-vitamin set from Sunday Riley I got the small one and I've been using it for like three weeks now and it hasn't run out So I really like that it's 24 pounds or if you want to buy it comes in this box by the way the multi-vitamin set by Sunday Riley and If you want to buy the larger on things like 80 pound each or something So in case you don't want to just spend that much money in one go Then I think just get the smaller one and see how you roll with it And also this was recommended by one of my subscribers is the Paula's Choice exfoliate 2% perfecting skin perfecting 2% BHA liquid exfoliant with salicylic acid Salicylic acid is so good for your skin in the clinic when we do the vampire facial We also as well as using prp. We use salicylic acid. It's so good for your skin. So yeah, I've really dramatically noticed like an improvement in my skin and Sol has the elemyth skin care and she has the pro collagen cleansing balm which is like so raved about So I was trying her cleansing mug. She left it for me in the bathroom Honestly, I really love it and even like three days that I've been using it But I want to buy one of those for myself in the large size because I've actually always just used like Not like too expensive just like skin like normal face washers that you can get for like Neutrogena and stuff and they've done the job, but this one I don't know it I feel like it's really clear to my skin and made me feel like really my skin feels really like Nourished and dry and I used to think because I have really oily skin that my skin can't be dry That's so wrong You can have the oiliest skin and still have like the actual layer and not be like your actual skin Like the depths of it be really dry. So yeah, I Have noticed a difference in using that so I'm going to buy the pro collagen cleansing balm From a lamest and I also need to buy primer. It's one of my favorite. It's the elf Paulus face primer and I've been using it for like over a year now, and I absolutely Love it. I remember I heard about the elf primers from Carly by Bell So anyone who watches Carly by Bell sign it is obsessed with her by the way And signers new obsession is money may because I think I was telling her about how I like to watch her vlogs Or she might have discovered her herself but um Yeah, so I know I always used to watch Carly by Bell together and she always used to use elf products So that's where I heard about elf and then when it came to the UK First thing I got was this primer, which I love and in case you guys are wondering what this top is about it's actually from souls Zara Hall on her channel and We like do this thing where like when we buy clothes, especially where we have so much clothes either We've bought it or we've been gifted it or it's for collaboration and stuff We know with so much clothes that we like leave each other like clothes like Match no, let's swap around with like oh like why don't you wear this? I got it new or why did you wear this? So yeah, she's left that for me to wear which I think is so cute So I'm probably gonna wear it to work one day The highlight of my life has been wearing different outfits for work and One of the nurses said I'm the best stress doctor at work yesterday, and it was only one nurse but honestly that comment has stuck with me, and I've been super gassed ever since I've heard that by the way Those people asked me this as well. This is the Smashbox Studio skin and I love it more than the Fenty now that I use this I realize how dry this Fenty Skin contour stickers I used to use this in the color truffle and then I started using this instead I was like oh this is really clean creamy easily blendable like I really like it then I started watching Laura Lee's Clearing out I've never watched that before but she had this one video of like her clearing out her makeup and she was saying how She found the Fenty sticks like she really liked them at first, but then she found them too Like difficult to blend in and I was like oh my god It's exactly why I prefer this because it blends in so much easier. So yeah Smashbox studio skin a shaping foundation Double-ended and this is in the color 4.2. Anyway, I feel like I've gone off on a million tangents But I will come back to you when I'm all dressed. I mentioned that this is from pretty little thing By the way, I'm so obsessed with it I bought the top in in like a brownie nude as well, but you guys will see that on my On my trial haul. Okay. That's enough kisses for you guys. I Will be back when I'm back. I'm sorry about one more thing I know I said I'd be back when I'm back but I just was blending my forehead contour and Thought of remind remembered something from work that killed me one of the guys that I work with Was like to me Seppy like we were literally like these is one of my like colleagues were on the computer's next to Johnny Just was so seppy and I think yeah, it's like so why is it that hair of your head is brown and then you're actually in your hair? It's like pay that Like I was crying.  I Just feel like you can't do it Like it just makes your hair go with like now even my hair is going a weird color Trying to blend it in so yeah any tips on that guys let me know but that was so funny He was you know like those questions that guys ask about me cut when they have no clue about ink up And they're like It was so funny. Okay. I am probably not it probably wasn't that funny But to me it was hilarious So this is my completed makeup actually kind of like her to not this island I'm not feeling to be honest neither of them. I'm really that feeling but when you look at it from the front It's fine. It's just if I was going out This would kind of annoy me because it's not the perfect way that I like it, but I'm not going anywhere So yeah, I'm just gonna Suck it up That's so cold I Have these really pretty lilies look at me in the lilies This is such a like typical in Iran They do photo shoots for like the brides and like the brides always like heads and the flowers or something And then so went for a photo shoot once and she had quite similar photos Merci Niko my cousin Niko and Call a fair share on Friday and family for those beautiful flowers Okay, I need to start drinking it all it's so cold because actually starting to hurt my teeth I never realized I have sensitive teeth. Also. I want to show you guys something Sina Just goes to show you how different sisters are. Yeah Sina bought this hat for 300 pounds down from 500 pounds in the Howard sale something like that or down from like 600 pounds This is the hat and I just feel like Me and her are so different. I would never ever spend 300 pounds on a hat But let me know in the comments if you like it. She's obsessed to be fair She's been wanting a nice Panama hat and been doing my head in about it since we went to mykonos two years ago So I don't blame her for getting something that she's always wanted I think if you really want something you should definitely get it because You'll get your money's used out of it and you've been thinking about it for two years But I just don't see the hype with hats Especially that one but don't tell us please don't go on her channel and tell her I told you this even though She knows how I feel I just finished filming this haul And I feel really bad because I made my whole family wait to eat because I was filming it downstairs Everyone's really hungry Including me my hands were like shaking at one point So my mom gave me an orange and I'm back into my comfy at Pijama top I actually love this. You know, I love it because it doesn't stick to you So like it's just comfy. Mom cheater is candy Oh Guys, I love a good gorma sabzi. Look at this. This is the rice. This is the onion We have fresh onion with this stew which is called gorma sabzi There is a recipe for how to make this pajeonsu on me as I get them off So do us candy music room music. Yeah, so make sure that you guys check it out and see how to make it is By far my favorite food ever and what's super cute is my friend Amelia made it for me yesterday and brought in to work for my Dinner when I was on call. So thank you so much. I love you and yeah, I'm gonna dig in to some gorma sabzi now guys guys seriously though I Don't know why I just pictured dropping my camera in the water So we've got empty plates all rounds.  Look guys. I was wearing the hat. She just walked away. There is no way that that hat is worth 300 pounds or whatever Okay, fine, but you didn't buy it for five hundred pounds Five nine. Oh, so how much did you buy it for? Sorry guys the hat is nice, but it's me mezzan michelle A bag will last you a lifetime so she's as well made That hat what sorry especially in mykonos with all that wind yeah We all know you want to wear it in mykonos all that wind I'm gonna say day one at bet on this vlog when we go back to making us this summer Insha Allah yeah day one the wind is gonna blow and take her hat away and she's gonna cry It is a 10 at 30 at night and I feel really hungry. I didn't eat much gorma sabzi at the time At dinner. I don't know why like I lost my appetite at dinner. Now. I'm starving I had some chocolate shout out to my friend shoe show who put me this yesterday on cool along with a lot of other snacks Marcy still eating it, but I want some proper food so What to eat I have some pasta does anyone else just get like randomly in a way like I feel like everything with me comes in waves like Suddenly like I'm on a wave of like being fit and healthy and Eating really clean and suddenly like I'll go through this wave Usually around like my time of the month where I'm really hungry, but it's not the time of the month But I just feel really hungry.  I like your hair like that My mom's telling me to order take away Okay, fine. Let me order take away Yeah, but you guys so I've decided on what I'm gonna eat. I'm gonna make some penny I've just realized that all of this is from different supermarkets. So it's penny from Morrison's cheese from M&S tomato chili paste from Tesco who I don't even know who bought this and co-ops Smoky-Beak and Lodon. Yeah, I'm going to make a cheesy spicy Pasta with cheese. Yummy Mixing it all together Yummy.  I wash off my makeup Because I feel like if I keep it on unnecessarily my skin will Pay for it. Okay, let me try this So yummy so spicy so cheesy I'm so easy it since your four ingredient pasta start all together. Bueno. Good morning I thought I would show you guys my work outfit for the day. This is my makeup by the way. It's very like simple glam and then my top is from my Zara horn it's the one with all the Bambis the dears all over it Which I really like and then I'm wearing it with this skater skirt, which I love. It's so old. It's literally so bubbly So yeah, I'm gonna make myself a coffee now pick up my lunch from the fridge and head off to work I'm leaving a little earlier than usual As it's snowy outside and it's like icing It's like icing over So yeah, I just need to drive more carefully and give myself more time than I usually would need So yeah, I'm gonna head off in a moment My mom washed my Starbucks cup yesterday so that I could reuse it this morning as a means of recycling so Quite proud waiting for this to defrost God's sake Morning defrost is the bay of my life But I'm not gonna lie and very grateful my car is very fast and usually does it itself within a minute I mean when I was a kid we had an S class and I was always late to primary school even though I live three minutes away and I would come out with like jugs of water So just pour onto it if you pour don't take this as a tip by the way, but I would pour Like normal temperature Water from the top onto the water it would defrost onto the ice it would defrost it And so that would always work for me So, uh, yeah, but this one oh look In the 50 seconds I've been speaking to you It has all defrosted Okay, off we go. Have a great day guys. I will see you when I see you So I just got for lunch And there's people at least I feel shy, but this is the hot lunch that my mom gives me. It is a beagle and a salad So I'm just gonna eat that and I'm gonna put my camera away because I feel shy So I just finished and it is raining and this amazing puffer jacket that I love so much guys It doesn't have a hood and I am the kind of person who will never carry an umbrella ever like It's just not in me. I don't like it. I hate when it's wet afterwards like what you meant to do with that So I'd rather just take the rain.  Basically I am off for the whole rest of the week I have annual leave and then I wasn't meant to be working on Saturday and Sunday anyway So I'm gonna have so much more time to film for you guys and work on myself So nice to have some annual leave first time in this new rotation. So I'm excited So I am kind of drenched.  I'm kind of Not that excited as I usually would be because My kind of hope would be that if I had a whole week of annual leave that like I'd be on a fly at 9 p.m Going to Dubai in January So that's not really happening That's not really happening right now, but I'm still so grateful for the time off and What I can do here on the channel with you guys We're gonna have party Um, okay. I'm getting too excited. I don't know why I'm so general and pumped I haven't even had a coffee since this morning the one that you saw me make Should we have a second one? No, I just had one So, okay, I'm gonna drive home. See you at home So my mama's made zelej polo bamoor Actually since I started saying my vlogs that she makes it a lot. She did she has not made it I can't remember the last time I had zelej polo. So I really really miss it. I'm so excited to eat this. Merci Good morning. It's my first day of annual leave. I woke I went to bed at 8 p.m and I woke up at 10 30 a.m So yeah, that is actually mental But my mom's always like you're tired. You're tired. Anyway, I'm going to do the drug now Um, I thought I'd show you my outfit because I love it. So cute. How cute is this outfit? Oh my god Um, my hoodie and my jacket are pretty as a thing My leggings are lounge underwear. I'm actually wearing the full lounge underwear like a gym wear set underneath And then the boots are public desire Let's go see the drug. I just need some like toiletry stuff So I'm going with Sina as per most of my vlogs these days. She isn't looking presentable Seriously this time I'm finding this Your outfit's cute though. You're wearing this green Montclair jacket and nude zora scarf. So You know, at least you look cute signs This is the most exciting shopping Trip I have so far. I picked up my celibata. I need Some other new cup stuff as well. So there's meant to be Wait, I want to get my cancina and I don't even know what color I usually get it They didn't have this when I came to buy your film. It's my favorite I just don't know what color I usually buy. I already have a concealer. I didn't know why I'm picking up another one Let me put this back. Um, you know when you're confused about why you're here. Um, that's how I feel So I wanted a Primer that is one of the things that I needed Oh trio party primers, I don't like their party primers. I've tried them. Yeah, like they're quite jelly-fied Okay So to end this vlog, I thought I'd just quickly show you guys what I got from super drug So fun. We move um first thing first I got some Um Pure cotton wool pads. I love these to remove my makeup with with my celibata Before I start using like my cleansing balm stuff. Oh shoot. I forgot to do this in my car. I got the dental Um hand sanitizer to leave in my car because the one in my car is running low. So need this deodorant I literally have three sets of deodorant one in my car one in my bag and one in my bedroom and So I got a second one because the one in my room is running low and the one in my bag is running low I got a new real techniques beauty blender. These ones are my favorite because they have the flat edge as well as Um appointed edge and it's so funny. I did my main cup in like one of my videos I think like two Two or three vlogs ago and someone comments saying please get a new beauty blender But I love mine like beaten and battered I just feel like the older they are the better and I wash mine every single time with make-up remover and stuff Then I got another clean and clear. We'll sign. I got this but we both use it the rapid advantage Gel um spot treatment. This works so well when you have a spot You just put this on top of it and it gets rid of it. I got a bambi oversized eye mascara from l'oreal And I want to try it because I feel like my current mascara I just keeps going down my face and I don't like it and then I got some ar del double one one Three lashes for when I take pictures My cellar water from garnier to wipe off my makeup before I do my skincare Then I thought I wanted to try this um blush palette from revolution Uh, I needed the eyelash curler and I'm obsessed with this one. It's pink and rose gold chrome And then lastly I got an elf, uh, paulus face primer. These are my favorite ones.  So that is everything that I got I hope that you guys enjoyed this vlog and if you did then please give it a huge thumbs up and subscribe to me down below It will mean a lot to me every single thumbs up goes such a long way and I just love you all so much I can't believe what almost at 45,000 subscribers. That is crazy So I love you. Thank you all for joining the family. It's such an incredible dream come true for me to have so many of you guys watching and I'm just grateful for every single one of you. I swear I mean it and I try and reply as much as I can to all of you, especially in the comments So leave me a comment and yeah, I will be bringing out more fun content for you guys Don't forget to check out my socials. They're always linked down below My instagram is persian bunny. My snap is sepi samai and my tiktok is persian underscore bunny I love you all and I will see you next time Bye


You're tuned into the COVID-19 community report here on KDRT LP, 95.7 FM in Davis, California. I'm Autumn LaBea Renau and today is Tuesday, January 12, 2021. We're sharing local news and resources focusing on what's impacting Davis and nearby cities in Yolo County during the COVID-19 pandemic. My goal with this show since starting it 10 months ago was to help weave a narrative about how deeply and broadly the pandemic has impacted local lives here in Yolo County. In the course of those 10 months I've talked to scientists, elected officials, medical personnel, teachers, students, arts and culture organizations, and community leaders among others. And as we approach episode 50, I'm astounded at how many stories there are still to tell. Today's a good example. My guests today are Bruce Gallaudet, sports editor for the Davis Enterprise, and Joel Rappaport, who's coordinating the Davis Independent Music Initiative. Sports and music are two areas that have experienced tremendous impact during this time. We'll get to those interviews in just a few minutes. I want to take a moment to acknowledge the passing of James Glicka Hernandez this Sunday due to complications related to COVID. James was an important figure in local theater circles and a staunch advocate for the mentally ill in Yolo County. DMA's team recently had the opportunity to work with him on an event in support of Pine Tree Gardens. We send our love and care out to his husband, David, and the rest of their family and community. It is a weird thing to read COVID statistics each week and realize we're at the point where people I know are part of those numbers. I had my own scare last week when someone inadvertently exposed me and then tested positive. I'm fine with a negative test result but remain sequestered, and I'm recording this week's show from home. My thanks to fellow catered DJ Don Shore for offering to edit it together for me. This free testing for the COVID-19 virus via Healthy Davis Together this month is available seven days a week at two locations. The Davis Senior Center at 645 A Street in Davis and the Mondabi Center at 523 Mrakall Drive on the UC Davis campus. This free testing is offered to anyone who lives or works in Davis, but is limited to asymptomatic individuals only. For more information, including testing times, dates and appointments, visit Healthy Davis Together dot org slash testing. Healthy Davis Together is a joint project between the City of Davis and UC Davis with a goal to prevent the spread of COVID-19 and facilitate a coordinated and gradual return to regular city activities and reintegration of UC Davis students back into the Davis community. For students outside of Davis, find the county's free testing site info and much more at Yolo County dot org. This is where you can also find the dashboards with case numbers and test positivity rates for all areas within Yolo County. And it will tell you such things as we had 90 new cases reported on Saturday alone, and are rapidly moving towards the 10,000 case mark countywide. So we're going to take a minute for music and we'll be right back with Bruce Gallaudet. Few things get people's passions up like sports parents and coaches want their kids to play for the team building, the discipline and the peer development, and people love to watch games developing identity and investment in favorite teams. It's not called America's pastime for nothing. I must say that cardboard cutouts in the stands isn't quite the same and a year without sports has left people somewhat on edge. This past Saturday, Davis police had to break up a fight involving some of the parents at a large youth football gathering in community park with over 100 participants including parents coaches and players they've been practicing in community for several days. After having been given warnings regarding distancing protocols required mask wearing etc. The police were called in, and the crowd was dispersed. My first guest today is known for his longtime association with local newspaper, the Davis Enterprise, where he's currently sports editor in a year without sports here to tell us more as Bruce Gallaudet thanks so much for joining us Bruce. It's totally my pleasure. Thanks. So in the normal year of the life of a sports editor, you'd be covering everything from preseason practice to club sports to Little League to UC Davis football and as we know, these are not normal times we're at the fist fights in the park stage. That was a surprising bit of news from the weekend. From your perspective regarding sports, what's been the biggest challenge as you've watched the pandemic unfold. So, from a personal standpoint, trying to trying to give the correct feel for how the athletes and coaches are dealing with all of this it is. It is a tough time for any student athlete, whether it be at UC Davis or Davis High School. But, you know that all of these kids are out there because they're passionate about what they're doing. And the coaches are there because they're passionate about what they're doing. But nobody's playing sports right now. And, and the the future changes by the minute. For example with the UC Davis basketball program. Their season was originally delayed postponed from the beginning of November back to the 25th. Then the UC Davis women and men played games that first weekend and have not played since December 4 because of edicts by the state and the Yolo County Health Department. And each week they think that they're going to play the following weekend. And since early December word has come by midweek that you have to cancel your games. So that emotional roller coaster for the student athletes and the coaches that are so invested in these seasons is just totally mentally taxing. The university also has had five fall sports canceled because of because of league deciding to scrap sports. And then high school has not played a sanctioned contest since I think it's the 14th of March last part. So they're almost a year into being on hold.  And right now they have their fingers crossed that there will be three seasons jammed into two between now in the middle of June. But it's with the county like most counties in California sitting in the most restrictive purple tier of the road to recovery as it's called. It would be a full three weeks before regular practices can be held at the high school too. So the bottom line is that at UC Davis and at Davis High School what were fall sports have become winter and spring sports and those winter and spring normal sports are seeing truncated seasons being planned. But the numbers are prohibitive and those seasons in their entirety those seasons on both campuses are right now in jeopardy of being played again. You know, a few months ago I interviewed Karen Motokaitis who's one of the long term swim coaches here in town. And one of her concerns is that as sports opportunities evaporate in high school that there's been a big trickle down if you will in that those opportunities are also drying up at the college campus. And so many kids who counted on those sports scholarships and things to get them by there they're not going to see those opportunities moving forward. And so she said that actually in sports we're going to be feeling this impact far longer than in in some other areas for this reason. Thanks for making it even more depressing than it is. I'm a realist Bruce. Yeah, and as is Karen and she's exactly right. I was going to mention when we got around high school that that there's two things here I feel bad for the, the university student athletes but the NC to a has said back in November that because of COVID college athletes nationwide will get an extra year of eligibility. So if you're a senior at UC Davis, you can you can come back as a graduate student or change up your workload to have you qualify to come back as a senior plus one. That doesn't happen in high school. For example, both the basketball programs and football programs and baseball programs at Davis High, the majors have outstanding senior athletes that are on hold. And some of those athletes were hoping that their seasons would be in full bloom, and that they would be getting noticed by college recruiters. Yeah, that's not happening. And they don't have any recourse they can't stick around for an extra year they're going to graduate. That's not virtually again, but it looks like that. And so they're just there. It's a lost season and a lost opportunity. Meanwhile, at the colleges like I just mentioned, you've got student athletes that are sticking around an extra year so potential spots that would have been filled for the half of the graduating seniors. Some of those spots. A lot of those spots aren't going to be there for incoming recruits. The other thing that's centering into this, especially at the college level is how much of the pandemic and the lack of action and the lack of sponsorship and the lack of gate. Can the budgets take. Kevin blue who was who left UC Davis couple of weeks ago was brilliant in all regards, and one of his special abilities was keeping a solid eye on the budget in a budget that can reach $41 million a year now. Blue told me before he left that he expected for this fiscal year, which runs through the end of the sport season in June. And that there was going to be about a $2 million shortfall. And that there were other avenues in which that shortfall was going to be made up. So it wasn't at this point to the point like some other schools like Stanford and a couple of major schools in the Midwest. Were set citing co vid and and lack of auxiliary income to cut a myriad number of sports. I think it was six that Stanford just cut partially because of the pandemic partially because they were overloaded for a school of 8500. But there, there's a lot of other schools that are going to see it and it's not, it's not just a simple case of cutting a sport, because it doesn't make any money. If you have a woman sport. And I apologize to UCD for saying this there's no implication here. It's a woman sport like field hockey, for example, and you find that that the returns on that aren't equal to the investment, and you decide that in this pandemic you have to cut that. That's one thing. The second consideration is are you still in compliance with equal opportunity under title nine. If you're not, then all of a sudden maybe a deserving men's sport or reverse it maybe a men's sports going to get cut and you're out of compliance with title nine the other way. You got to consider that and if you cut one, you better even it out. I apologize. You're not in compliance with title nine. I'm just happy that I'm in newspapers and not in university, athletic administration because this second shoe hasn't dropped yet. Yeah, UC Davis and many other physically responsible universities aren't going to see the big impact of the pandemic yet. But then when you get into subsequent years and you've gone fully 18 months, for example, without any appreciable income, then you know who knows what's going to happen. Everything else in this pandemic, I mean sports are tied to so much you mentioned revenue from gate but there's a whole in professional sports certainly there's a whole industry of people who you know work the venues and and all of that has been, you know, disrupted. And you mentioned Kevin blue he was athletic director for UC Davis for the past four years. And I have to wonder if if you know what kind of hurry Davis is in to replace that position at at the moment they may, you know they may feel like they have a little extra time for that search I'm not sure. They, they have convened a search committee hired a search firm from the Midwest, and are expected to have three viable candidates passed along to Chancellor may sometime in March. They're expected to the Chancellor to name the replacement I think they'll move fairly quickly on this because, although they have solid people in place like interim athletic director Rocco DeLuca has been a cog in the, the fundraising for UC Davis and for marketing the UC Davis brand in the time that he's been here in Davis it was a brilliant hire and a guy that certainly is up to the task whether it's interim is his title suggest now or if it's long term. But it can't be. It's, it's the key position to making sure that Davis still had the UC Davis still has all the right rooms. Yeah, okay. Before we run out of room and run out of time in a few minutes here. What are you hearing from, you know, high school coaches and high school athletes. What is the general feeling or sentiment out there about what this past year has been like a big frustration on on both of their parts. The student athletes and the coaches, but the lucky thing it about being involved with Davis High School is that the athletic and overall administration are solid Tom McHale as principal and and maybe not maybe what one of the top athletic directors prep athletic directors in the nation in Jeff Lorenzen or at Davis High have 27 different varsity programs running at use at Davis High School. It's impressive. It's, it's beyond the can of imagination I don't know of another school in the US that has 27 teams. And the coaches that are on staff there are a majority of the coaches or veteran coaches, the coaches are all about the kids and, for example, like, like water polo coaches. And, and right and and track coach Spencer Elliott and football coach Steve smite. It's all about the kids it's all about their psyche and it's all about understanding that this too shall pass but if you have a missed opportunity you know there will be others and keep your head up and it's just totally impressive Dan Gonzalez in basketball has been there for 650 years and he's just he's another role model that parents and the student athletes can get behind so. Davis High with their athletic staff and is just totally blessed but it's, like I said before, my heart goes out to the kids in high school that are missing seasons that they can't make up and through that they're missing opportunities with next level schools that otherwise might have seen them. Yeah. Well Bruce we are out of time I want to thank you so much for joining us here today on the 19 community report, and let's have you back in in a few months down the road is and we'll see where we are with things and check in okay. I appreciate it thanks for the work you do with your program it's awesome. Great thanks so much. Thanks. The tagline of bettering music in and from Davis California the Davis independent music initiative is an emerging arts organization aimed at helping musicians to better and further their artistic careers. Joel Daniel heads up the effort and is with us today thanks for joining us Joel. Yeah, I don't think so much for having me bet. So, so tell us more how and why did this effort start and what are the goals. It started. It's the idea for the Davis independent music initiative which I called dimmy started to percolate in my mind in early 2019. And I had just gotten through with working with the city on a bike safety video, and they asked if we could produce something educational in that realm with a video series that I produce called Hoot quarters related to a children's music in. And around that same time I had been writing my first set of solo by myself grown up song grown up songs which I say to differentiate from the kids music. And I just felt like it started to realize I've been in Davis a really long time and all the musicians I know just about since going back to 98 are gone. And my rents were also going up pretty drastically. And there were, you know, further, less and less fewer and fewer venues to play in and I just thought you know, you know the city is interested in cultivating art. And if we could just, if I could think of a way to build something that could last over a period of years. And also being in a position where I was a musician that had been here longer than most that would be a good thing to try to start. Right. So, what I came up with was the proposal for dimmy, which was, I said, look, Davis, I'm a musician I've been here a long time I'm writing these songs and I know how to make a record at every step because I've done it. And so I said, give me $5,000, which was the most I could ask for under the grant I was writing and in return, you know, when this is done, there will be new music that comes from this I will play the show live I will host it on a site where the community can listen to this new music for free. Every show that I play in support of this I will say Davis cal from Davis, California. And also, I'll teach some classes on, you know, writing music producing music and marketing and promotion so that other musicians in town that might not have the experience that I've been lucky enough to have, can start to learn about these things on a deeper level. And then, and then Yeah, yeah. This was the most important part which is that don't give me the money unless you would be willing to give it to somebody else the following year, and somebody else the following year so that we can start to build something from the ground up so that in 10 years, we can all go on Spotify, or maybe it will be Elon Musk's neuro link that we all have in our brains by then, and we can just listen to these, all this new music that has come from our town. And all these musicians will be out in the world saying, and yeah, I'm from Davis California Davis is awesome and you should come there. Yeah, and of course as I said the pandemic struck and one of the things that's happened is the arts grants funding and Davis was eliminated. Last year and we're looking at it probably another year without that. So, in that interim, you know musicians have have taken a really hard blow beyond rising rants and and all of that and lack of venues now there are no venues available. No, no restaurants that they can play in no community gatherings and so so I do realize it's been really hard. We have such a we have just a couple of minutes together so let's get into the, you've done a weekly song doctor for for a while during the pandemic where people can upload songs, get share them get critiqued. And so you've got this virtual community going on, but now you do have some money to give away so tell us about that. Yeah, so we have the talks didn't happen, but we have been hosting the song doctor and I did ask the city to keep this going and while they have a limited budget this year they did allocate $6500 to dimmy. And we've created a committee and now that money will go to a musician, a band or musician from Davis this year. And we have a website. www.davisimi.com and the application is there it's due March 1 2021. And yeah I'm just very excited that there will be that this is going to be a springboard for somebody else to make something new from our town. You know that's really cool because that that's an actual chunk of change it's not like here's $1000 try to do something with it or here's to $6500 this is enough to get, you know a little studio time, a little marketing help whatever it is that they most need so it's very very cool. Let's give the website again because it is not dimmy and I want to make sure people can get there. Yeah, so it's, it's Davis, which is the Davis part of dimmy I letter I letter m letter I so Davis letter I letter m letter I.com. All right. Hey Joel, I'm sorry we have such a short time but thanks so much for joining me today and I'm going to keep sharing this info up until the applications are due. And we'll share it out through DMA and catered in a variety of ways and hopefully we'll reach the right people. Awesome thank you so much. All right, you have been listening to the COVID-19 community report here on KDRT 95.7 FM in Davis, California. Thanks for tuning in.


In June 2023, the headline inflation rate rose to 22.79% relative to May 2023 headline inflation rate, which was 22.41%. Now, looking at the movement, the June 2023 headline inflation rate showed an increase of 0.38% point when compared to May 2023 rate. On a year-on-year basis, the headline inflation rate was 4.19% point higher compared to the rate recorded in June of 2022, which was 18.60%. Now, this shows that the headline inflation rate year-on-year basis increased in June 2023 when compared to the same month in the preceding year. On the show today, we will be breaking down all of this a welcome to business insight and plus TV Africa. I am Justin Acadone. Before we get into the discussion proper here is a roundup of major business headlines. We'll begin with the NGX, the Nigerian equities market closed positively as the key market indicated to advance by 373.62 basis point amid positive market breaths. The NGX, all share index advanced by 0.60% to close at 62,943.35 basis point against the 0.29% loss recorded previously to close at 62,569.73 basis point at the end of the last trade-in session. Now, in Naira terms, the NGX market cap records a 203.44 billion Naira gain year to date the NGX ASI stands at 22.81%. Now, Nigeria's oil output dropped months and months by 5.5% to 1.249 million barrels per day in June 2023 from 1.184 million barrels per day in May. Also year on year, the nation's oil output dropped by 17.6% to 1.249 million barrels per day in June 2023 from 1.515 million barrels per day in the corresponding period of last year. In its latest July 2023 monthly oil market report, the Organization of Petroleum Exporting Countries, OPEC, disclosed that this was based on data obtained from official sources. The report did not concede that Nigeria's condensate output currently hovering between 300,000 and 400,000 barrels per day, meaning that when this is conceded, the nation's total output would be much higher. Well, moving on now to exports, the Executive Director and CEO of the Nigerian Export Promotion Council, Isra Yokozak, says Nigeria's non-oil sector recorded a slight decrease in the value of exports to $2.54 billion, representing a 0.09% deep in the first half of 2023. Yokozak made a statement during a presentation on the non-oil export sector for the first half of the year. He explained that the recorded figure was a slight decrease as against the sum of $2.59 trillion billion in the corresponding period of 2022. Now the Pottery Association of Nigeria says farms across the country are currently shutting down operations due to the persistent hike in the price of maize, a major feed for birds, in the subsector. Based on this, the PAN stated that the Potry subsector in Nigeria was heading for a crush if the government failed to salvage the industry. In a statement on Monday, the association said at the moment, the Potry industry in Nigeria is on the verge of total collapse if urgent intervention is not channeled to eat without further delay. And that's it on business. Roundup, we'll take a quick break and we'll be talking about inflation figures in a moment. I'll be introducing my guests to join me again.


So, good afternoon everyone, I'm going to start here, talk about Clang as a front-end, so this talk will be a bit different from the other talks, so this is actually not changing Clang itself, but actually using it. Our agenda, I'll just start by saying why do you need to find bugs, a brief introduction to model checking, ASBMC, the two that I'm working on, and the Clang front-end inside the ASBMC and the future of SMT solvers. So, why do we need to find bugs? Does anyone remember this case, Ariane 5? It was launched in 1996 and exploded 40 seconds after launch. Does anyone knows why it explodes it? Yeah, it was an exception thrown by a conversion to from a 64-bit flow to a 16-bit signed integer and then they just lost the rocket. So, in 1996 also there is this case of USS Yorktown, they automated the whole battleship and does anyone know why it stopped working, why it break, why it crashed? So, it was a really simple bug, it was a division by zero and the whole battleship crashed and had to be towed back to the naval base. So, yeah, embarrassing, right? So, we need to fix bugs, we cannot have those situations happening when you are commanding a battleship, right? So, why it's formal methods? Formal methods, something, it's a way to try to avoid that, to find bugs. What's the main standard today? It's testing your simulation. So, you have a program and you check a path on the program and you get an error on ALK. So, it checks paths on the program, it may miss some errors but that's okay, you can check. Since it's quick, it has more memory requirements, time requirements, you can actually check a lot of times so you get a good coverage. On the other hand, model checking, it's unencoding. So, you have the program specification of the program and you check all the paths, all the single possible errors are checked by the model checking and in the end, you have, okay, no bugs or error trace. So, you can actually see the set of assignments that lead to that bug. The problem is, since you are converting the whole program, it can be extremely resource hungry, so memory and time. We are working here at University of Hampton, we've bound the model checking. So, it's kind of a laser approach to model checking. We bound loops, array size, contact switches. So, we just keep increasing until we find a bug or we don't, what we just say we don't know. It's good to find bugs because usually bugs are really shallow in the program, so we don't have to iterate that much to find bugs. It can never prove that the program does not have bugs. So, it will either say there's a bug or I don't know and if you have infinite loops, it might be a problem because you can never unroll all the possible, all the programs, all the possible paths. So, you might never be able to actually check all the possibilities. So, yes, we can see it stands for efficient SMT-based context bound model checker. It's this, it's this architecture. I'm not going to go into details in each block, but basically we get a source code, a CLC++. We convert to a simple language called go-to language. We basically remove switches, loops, and just make the program simple. We do a symbolic execution, which is go through all the paths in the code. We encode the constraint in properties of the code. So, properties are like, if the variable is never zero, if it's a division, it's a division, this kind of stuff. And then, we call it using SMT. Right now, we support Z3, BULLECTO, MATSARC, CVC, and X. And, well, this is the whole, whole process. And I'll focus on the client front-end. Yes, we can see it has all these built-in verification support. So, pointer safety, array, bound access, individual by zero, enabled by default. But we also check overflows, memory leaks, deadlocks, that races. I'll show you a small example.  So, don't mind the gaps in the program, they are there for a reason. So, we just have a function, full, and it does in the division. And we want to check all the possible values of A that will trigger a bug in this program. So, it's simple as, yes, we can see. So, it will find a set of assignments that will lead to a bug. You see these big numbers there. So, we can actually do something like, okay, my program will never have this kind of input. For instance, my program will only have A ranging from zero to a hundred. So, we can write stuff like, assume that A is between zero and hundred, B is between zero and hundred. So, this is example two. So, it will try to find a property violation that will trigger division by zero for the values of A inside this range. So, you see if you use five and one, this will trigger division by zero here. This is using bolector, one of the solvers. You can actually check for using other solvers. So, that's really much. So, different assignments, but they always trigger the division by zero. This assume is actually the same as if we write an if, if this condition is not match, it returns zero. So, it's the same. So, finally, this example three, let's say I don't want to check division by zero. You can either disable division by zero using the flag for the two, or you just assume here that C is never zero and C is the equation for the division, right? So, let's say, so no bug, right? But I mean, you don't want to check for that bug, right? But let's say you want to check for overflow. You actually get a set of assignments for overflow. You can check with other solvers. That's that as well. Sorry. Right. So, yeah, so these are simple cases, but you can see they're really effective to find those bugs. We have actually the set of assignments that lead to that. So, it's easier for the, for the, for the developer to see how he can reproduce it. Another program here with concurrency. So, it's basically a program with a dialogue. And we can check that as well. Yes, let me see. Try something very naive when it comes to, to check a concurrent program. So, by default, that lock is not enabled. So, sorry. So, it checks by default if the ML lock return and no pointer. But with this flag, we can force it to always succeed. So, by default, it doesn't check for that lock. But if we add the dialogue, it will eventually find a bug and give you the backtrace for the, for the set of assignments that lead to the backtrace, to that, to the dialogue. Yes, let me see. Try to interleave all the possible points in the program. So, if you have huge concurrent programs, that will take a while to, to verify. You try to interleave everything. Okay. So, we encode everything using SMT. And it's complicated. We can talk later. Okay? All right. So, okay. So, these are simple examples of using SMT. And the clink front end, right? Why you are, we are moving to clink front end. So, our old front end was about 15 years old. So, we didn't have support for a bunch of stuff. So, for instance, compound, compound literals, stuff like this. And, well, I'm not a really good bison developer. So, I had no idea how to implement that. And we didn't have support for designated, initialized stuff like this to initialize the race. No support for type of operator.  So, every single, what? You didn't pass your program on your program. Then, you would find all the bugs. Yeah, yeah. Let's, let's talk about that later. So, every single change in the program is, I mean, it would lead to a lot of bugs and stuff. And it was hard, especially when I talk about C++. So, we tried to, our old front end, tried to support C++ 98. There was harks everywhere to support them. One of the problems is that we never really understood the rules for template initiation because they are hard. You're going to see that later. And it extended the C front end plus the 5k locks. So, yeah, we don't want to maintain that because that's not the objective of the tool, the main aim of the tool. The tool needs to verify the problem. We don't want to maintain that. And then came Clang. Clang has a well-defined AST. So, we just actually need to write a converter for the AST from Clang in two hours. New features, we just have to add a new conversion node. I will never have to program in flex buys anymore. So, that's, that's alone. It's good. And we have convenient function like evaluate as integers, evaluate as building conditions inside the Clang that we can simplify a lot of the, of the AST for us. We have one in there, in there was for a real compiler. So, the same errors and one as you get from the compilation you're going to have on, on the verification tool. And it's much smaller. So, just the C front end is about 4k locks and the C plus plus about 7k locks. So, much easier to, to support. The C plus plus front end is not released yet because we don't have any polymer field. But I'll talk about that later. And there is another thing that alone by itself, it's what, it makes the, the Clang awesome, which is the AST contain all the instantiated templates. The AST contain all the instantiated templates. Have I told you that the AST contain all the instantiated templates? And I'll show, I'll show you why this is so great. So, I have here the standard. So, this is the, probably the last standard before the release of the C plus plus a left standard. So, you see there the date. If we go to page 368. So, we are talking about explicit instantiation, right? So, that's easy, right? Until we, so we have a lot of points, a lot of examples, until we get to, I'm not on the right one. So, explicit instantiation. So, we get to the point number seven here. And I read for you guys. Is it? Sorry. Here. So, a placement of explicit instantiation, specialization declaration for functional templates, class templates, member function of class templates, static data members of class templates, member class of class templates, member of class templates of class templates, member function templates of class templates, member function of member templates of class templates, member function of member templates of non-template classes, member function templates of member class of class templates, etc. And the placement of the partial and specialization declaration of class templates, member class templates of non-template classes, member class templates of class templates, etc. Can affect whether a program is well formed according to the relative positioning of the explicit the specialization declaration and their point of specifications in the translation unit as specified above or below. When writing specialization, be careful about the location, it will make you compile will be such as river or kindle itself emulation. So it's hard, right? We don't have to deal with that anymore. Clever people don't care for us. Some kind, so we're just going to use that. Really? Oh, that's much better there. So why moving to clang? We are using Libby tooling because by the time we try to use the Libby clang, there was some misfunctionalities. I think it's much better now, but since we start with that, we are not moving back again. Most of the code to walk the S2 is based on the coding STDumper type printer and the coding Libcode gen. Some limitations we found is C++, for instance, does not support implicit function declarations. So yes, we assume that I showed you guys, we're not going to work by default. I'm still trying to work out how to fix that. So random crashes, for instance, if you try to get a line number from translation unit in clang 30.6, it crashed, but it's fixed since then. Clang does not build the VJable for you, so at least not using the defined AST, so I'm going to have to write another converter for that. We have no access to the static analyzer. That would be excellent for us, since we're trying to verify the program, try to get some information about the reasoning of the program. There are no optimizations at the AST level which is reasonable because all that optimization are done at bytecode or VM, so we get small optimizations, and there are some lack of documentation, some corner cases. For instance, let me show you guys this. So that's a small example. We just have a class X and we do a copy constructor, we call a copy constructor, and if we try to generate the AST for that, so briefly, this is the, but three variables I0, I1, I2 of the member function, the member str. So basically what Clang's telling me here is that this is the copy constructor for this class, and I have no idea where this is coming from, and Clang does not tell me either. So however, by the time you reach the code gen, and when the bytecode is generated, it's just a main copy for that case in this particular, but there is no documentation for that. We just try to pass the AST when we see that, and there is no explanation why that is like that. I think this just place holders to generate my R. Exactly. It will match to an M copy. Yeah. But the thing is, we are very careful when it comes to variables, and if there is a variable with that declaration, we don't like it. So we just don't know what to do. So. Any difference between the declaration of those variables and the declaration of any other variable that you have in the context? Because if there isn't, then those could be real variables, and then global variables, and we have no idea if this real thing is just made up. Exactly. We don't have an idea how to do that. Okay. So just a bit future about SMT solvers. So why we don't check our base code? Because SMT solvers are really resource hungry. We're talking about hundreds of gigabytes to formally verify how to. Well, SMT solvers are evolving, but they still need a long way to go. But how is the future for them? So going mainstream. So this is a serial patch by Dominic Chen. They are on the fabricator. They add Zentry to the constraint solver. The memory usage is about 20 percent higher, which is okay. However, their time to run is about 15 times higher. So that's something to improve. But we are getting there. With the Zentry patches, we are able to finally reason about symbolic flowtext expressions that this technicalizer could not do before that. It's not accepted to mainstream yet, but it's been on the active discussions on the fabricator. That's it. Yes, when we see it's open source, it's closed development however, for some reason. Our developers are shy, I guess. Please check the code and any questions, just send me an email later. Thank you. Are there any questions? Yes. You mentioned that it doesn't do V-tables. Are there any other normal constraints about the kind of code you can analyze? Not really. Okay. So he asked if there's any other limitation other than V-table for the C++. Not really. With everything else, it's there. We just have to parse it, actually. Even function pointers and things like that you can follow? Yeah. I mean, not on the AST. But wouldn't you have to track all the things that could be theoretically loaded into that function pointer which is also analysis? Yes. This is done in C++ on a later step, not on the AST. So the AST is basically just to convert that to our internal representation. So we don't have to parse the program, do any type check. Okay. Cool. What language is CSGFC at my time? So it's in C++. Yeah, C++ 11 basically. So it wasn't a big deal. No, no. Yeah, basically C++. We have some MagPy developers. So MagPy is that bird that likes to steal Chinese things. So every new Chinese thing, new features on C++ we just like to implement that. So soon we're going to be moving to C++ 14. Okay. What is the biggest software problem to check with your tool? So he asked about what's the biggest program we checked. In terms of source code, about 10 megabytes of source code, which is small to medium, I guess. It really depends on the program because a lot of stuff we can just throw away and not give it to the server. We do some kind of static analysis on the program later on to remove unreachable path and that kind of stuff. So it really depends on the program, but so far about 10 megabytes of source code. Or what?  On the tool? Not really, because it's too big. Yeah. Yeah. Can you state the difference between this tool and CBMC? So yes, so the SMC is a fork of CBMC. And CBMC is mostly about set solvers. It does have support for SMT solvers, but it's less than ideal. We are focused on SMT solvers. Yep. There are also other tools that could be a clean part. What is the advantage of using the word tool versus P and what are the ways about this? So, as far as I know, it tries to run the program and generate coverage. Right? You know, it's a symbolic institution, so. Okay. So it tries to produce all the possible input for the program to cover all the possible part. While you, as I have seen, do some kind of forcing that to produce some kind of part. Yeah. So what's the difference between CLE and CBMC? So we walk all the paths or do the symbolic execution and we do a bounded check. So you actually can define how many loop iterations do you want to run. And we call it SMT solver. I don't know if CLE uses SMT also. Yeah. So yeah. I would say the bounded model checking. It's the difference. You can bound the verification. Right? Thanks for the talk. So your tool can verify dead logs and stuff like that. Yeah. And you also verify obituary things that you express using LTL or maybe something else. Yes. Yeah. And then how expressive is your execution? Yeah. We have a support for LTL. There is a paper we published four years ago, I guess, that defined all the semantics for that. You just have to write in using LTL. All the function calls, I guess. And you have LTL or you can use LTL. LTL. Yeah. Yeah. How do you go about modeling a system library? So when you use a client, you're getting in. Yeah. So you don't have, like, a given C? Yeah. So for C++, it's not a big deal because they provide the whole code. But for C, stuff like string, print shaft, this kind of stuff, we have a model for that internally. It doesn't cover all the C libraries. But most of them are there. So handling strings, charts, files, everything is there. Floating points as well. Yes? To start from the Clang CFG, does the CFG include anything? Because basically, by the time we were looking at the Clang, we thought that the SC will provide the most information we needed for the verification. So this CFG can come kind of optimized. Some branches can be cut. And we just wanted the actual representation of the program, which is bad because this CFG code kind of generated the VTAY for you, right? Yes. Yeah. You mentioned the throwbacks in this, right? Yeah. Yeah. And also, another thing where you could have, like just the LVM. Yes. There is a tool that does that. It's called SMAC. So it works from the bytecode and converts to a boogie language. I think that is and try to verify. Yeah. The advantages of that is that you can verify much more language, not only C and C++, right? You are working at the LVM bytecode. But since we are focused on C and C++, we decide just go with Clang. Yep. OK. Thank you very much.


Helping a child learn about feeling words not only expands the vocabulary, but also helps them express their emotions. So for many children, they know the basic emotions. They know happy, they know sad, and they also know mad. But amongst happy, sad, and mad, there's many other ways that you can express emotions. So I just drew some faces on pieces of paper and you can show these to the child and then just ask them, what emotion do you think is being expressed here? So I drew another one and I can ask, what does this look like to you? And the child might say, that looks silly. Look at another one here and say, what emotion does this look like? And the child might say, oh, they look surprised. You can show another one here and say, hmm, I'm not sure. Maybe they look like they're a little bit confused. They don't know what to think. So they look confused. So you can use these cards or you can even use your own facial expressions to ask the child what emotion that they think is being expressed. And you can continue to expand their knowledge of feeling words.