loop;  S  while !B:  T;  repeat;