SMINT implementation