github.com/benhoyt/goawk@v1.8.1/testdata/gawk/octsub.awk (about)

     1  BEGIN{ ++x[03]; print "/" x[0] "/" x[3] "/"}