Parameter S3_to_S.T1

type t