#JKingI'm debugging a processor I just wrote by following the documentation and available tests. Given that there was no test I could find for this part, I wrote the above. My implementation agrees with Ruby and Go, which use "ABCD" as the value for the p-name.