What are the settings for TopJTAG static pins? I know there is a post from 2019 but it's not answered properly.