<s> """<STR_LIT>""" <EOL> class XXX : <EOL> def __init__ ( self ) : <EOL> self . v = range ( <NUM_LIT:10> ) <EOL> def method ( self , a ) : <EOL> return a <EOL> def main ( ) : <EOL> a = range ( <NUM_LIT:10> ) [ : - <NUM_LIT:5> ] <EOL> TestError ( len ( a ) == <NUM_LIT:5> ) <EOL> TestError ( a [ <NUM_LIT:4> ] == <NUM_LIT:4> ) <EOL> b = range ( <NUM_LIT:10> ) [ : : <NUM_LIT:2> ] <EOL> TestError ( len ( b ) == <NUM_LIT:5> ) <EOL> TestError ( b [ <NUM_LIT:0> ] == <NUM_LIT:0> ) <EOL> TestError ( b [ <NUM_LIT:1> ] == <NUM_LIT:2> ) <EOL> TestError ( b [ <NUM_LIT:2> ] == <NUM_LIT:4> ) <EOL> TestError ( b [ <NUM_LIT:3> ] == <NUM_LIT:6> ) <EOL> TestError ( b [ <NUM_LIT:4> ] == <NUM_LIT:8> ) <EOL> c = range ( <NUM_LIT:20> ) <EOL> d = c [ len ( b ) : ] <EOL> TestError ( len ( d ) == <NUM_LIT:15> ) <EOL> x = XXX ( ) <EOL> e = x . v [ len ( b ) : ] <EOL> TestError ( len ( e ) == <NUM_LIT:5> ) <EOL> f = x . method ( x . v [ len ( b ) : ] ) <EOL> TestError ( len ( f ) == <NUM_LIT:5> ) </s>
