无法将AWK代码转换为python / C ++

Question

一个人如何将这个awk代码转换为python或C ++：

awk '
# BEGIN rule(s)

BEGIN {
    RS = "\037\213\b\000\000\000\000\000"
    FILENUM = -1
}

# Rule(s)

{
    FILENUM++
    if (FILENUM == 0) {
        next
    }
    printf("%s", RS $0) > (FILENAME "." FILENUM)
}' $1