SC example with types