A.10.4 How do I pronounce ‘PuTTY’?
Exactly like the English word ‘putty’, which we pronounce /ˈpʌti/.