LOCAL loops : LIST [ 0 : ? ] OF loop := [ ] ; END_LOCAL ; IF  'topology_schema.vertex_shell' IN  TYPEOF  ( s ) THEN  loops := loops + s . vertex_shell_extent ; END_IF  ; IF  'topology_schema.wire_shell' IN  TYPEOF  ( s ) THEN  REPEAT  i := 1 TO  SIZEOF  ( s . wire_shell_extent ) ; loops := loops + s . wire_shell_extent [ i ] ; END_REPEAT  ; END_IF  ; IF ( 'topology_schema.open_shell' IN  TYPEOF  ( s ) ) OR ( 'topology_schema.closed_shell' IN TYPEOF ( s ) ) THEN REPEAT i := 1 TO SIZEOF ( s . cfs_faces ) ; loops := loops + list_face_loops ( s . cfs_faces [ i ] ) ; END_REPEAT ; END_IF ; RETURN ( loops ) ;