code: def t_DOCCOMMENT(t):
      r'((\'\'\'((?!\'\'\')[\s\S])*\'\'\')|(\'{6,8})|()[\s\S])*""")|("{6,8}))[ \t]*\n'
      lineNoInc(t)
      pos = t.value.rfind('"""')
      if pos == -1:
          pos = t.value.rfind('\'\'\'')
      t.value = '/**' + t.value[3:pos] + '**/'
      return t
docs: r'((\'\'\'((?!\'\'\')[\s\S])*\'\'\')|(\'{6,8})|("""((?!""")[\s\S])*""")|("{6,8}))[ \t]*\n