code: function ( ) {
  	var i ;
  	var a = [ ] ;
  	var _M = M ;
  	for ( i = 0 ; i < _M ; ++i ) a.push( i ) ;
  	var qt = fromArray( [ ] ) ;
  	for ( i = 0 ; i < _M ; ++i ) qt = qt.addLast( i ) ;
  	var at = empty( COUNTER ) ;
  	for ( i = 0 ; i < _M ; ++i ) at = at.push( i ) ;
  }
docs: INIT