Make all stubbed functions private so that they are eliminated by default
Make all stubbed functions private so that they are eliminated by default

FStarLang/kremlin,FStarLang/kremlin,FStarLang/kremlin,FStarLang/kremlin