#!/usr/bin/mawk -f # ct_length.awk # # replaces all length # by length($0) # { while ( i = index($0, "length") ) { printf "%s" , substr($0,1, i+5) # ...length $0 = substr($0,i+6) if ( match($0, /^[ \t]*\(/) ) { # its OK printf "%s", substr($0, 1, RLENGTH) $0 = substr($0, RLENGTH+1) } else # length alone printf "($0)" } print }