An extended version of smint