<< v.line_prefix_ << "\t" << v.v_.bit_position() << ",// bit_position\n"\r
<< v.line_prefix_ << "\t" << v.v_.bit_size() << ",// bit_size\n"\r
<< v.line_prefix_ << "\t" << gen(v.v_.factor()) << ",// factor\n"\r
<< v.line_prefix_ << "\t" << v.v_.bit_position() << ",// bit_position\n"\r
<< v.line_prefix_ << "\t" << v.v_.bit_size() << ",// bit_size\n"\r
<< v.line_prefix_ << "\t" << gen(v.v_.factor()) << ",// factor\n"\r