public int pattern_width()
 {
     return(m_pattern.pattern_width());
 }