trappar4> ;
--- Output: S1_and_S2
trappar4> ;
--- Output: S1_and_S2
trappar4> ;
--- Output: S1_and_S2
trappar4> ;
--- Output: S1_and_S2