Add strongcheck example