private function cleanTape( &$tape )
	{
		while( substr( $tape, 0, 1 ) == $this->blank )
			$tape = substr( $tape, 1 );
		while( substr( $tape, -1 ) == $this->blank )
			$tape = substr( $tape, 0, -1 );
	}