No, not stock. The engine is the original 340. I am unsure of the lifter brand, they were put in, in 89.
I got the car from a friend of mine that bought the car in 79. He can't remember the brand either...... 20+ years ago and we are turing into old farts, things get foggy.
Here is a pic of what I was running for lifters. I have replaced them with comp 8043 lifters.