Export thread

Hi
My engine does not start. The starter has no power to turn it. I suspect a wear out decompressor pin.
today I have dismantled the engine and the pin only protrudes ~0.4 mm.
Question: how much it should stick out when the decompressor is activ?

Thx
Wojtek