I would like to see a picture of that!

All the schematics and manuals I have (and I have a few) show it with a flywheel gear starter and never a belt Type starter.
If it has that I would think it's an aftermarket add on,(that's putting it nicely).
Where is it mounted?
And what pulley does it drive?