added smallcheck example