SatSwitchWithReSync-r18 ::= SEQUENCE { ntn-Config-r18 NTN-Config-r17, t-ServiceStart-r18 INTEGER (0..549755813887) OPTIONAL, -- Need R ssb-TimeOffset-r18 INTEGER (0..159) OPTIONAL -- Need R }