0001
0002
0003
0004
0005
0006
0007
0008
0009
0010
0011
0012
0013 BEGIN {
0014 RS = ","
0015 }
0016 {
0017 if (!match($0, "^[ \t\n\r]*\"([^\"]*)\"[ \t\n\r]*$", part1)) {
0018 print "Not a string (item " NR "):", $0;
0019 exit 1;
0020 }
0021 if (!match(part1[1], "^(tbs|bin):(.*)$", part2)) {
0022 print "Unknown prefix (item " NR "):", part1[1];
0023 exit 1;
0024 }
0025 if (!match(part2[2], "^([0-9a-f]+)$", part3)) {
0026 print "Not a lowercase hexadecimal string (item " NR "):", part2[2];
0027 exit 1;
0028 }
0029 if (length(part3[1]) > 128) {
0030 print "Hash string too long (item " NR "):", part3[1];
0031 exit 1;
0032 }
0033 if (length(part3[1]) % 2 == 1) {
0034 print "Not an even number of hexadecimal characters (item " NR "):", part3[1];
0035 exit 1;
0036 }
0037 }