%/*%*/
%//%\n
%//stopJesting%//resumeJesting
%case%:
%while(true)%{
%while (true)%{
%assert%;