Hello 60 acre hillside,
I would call them guide studs.I made many for heads and differential installation.
Sometimes you need to make them short,(for tight clearance) so a slot will unscrew them, and a magnet will take them out. They come in handy on water pumps too, keeping the gaskets in place. Guido.